libre-chip/fayalite
2
0
Fork 2
Code Issues 1 Pull requests Actions Packages Projects Releases Wiki Activity

Grammar fix.
All checks were successful
/ deps (pull_request) Successful in 18s
Details
/ test (pull_request) Successful in 3m31s
Details

Browse source
This commit is contained in:
Cesar Strauss 2024-12-26 19:41:36 -03:00
parent 9f0fb0188a
commit 8d7c691002
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
crates/fayalite/src/util/ready_valid.rs
View file

@ -235,7 +235,7 @@ mod tests {
/// The strategy derives from the observation that, if we filter its /// The strategy derives from the observation that, if we filter its
/// input and output streams to consider just one in every N reads and /// input and output streams to consider just one in every N reads and
/// writes (where N is the FIFO capacity), then the FIFO effectively /// writes (where N is the FIFO capacity), then the FIFO effectively
/// behaves as an one-entry FIFO. /// behaves as a one-entry FIFO.
/// ///
/// In particular, any counterexample of the full FIFO behaving badly /// In particular, any counterexample of the full FIFO behaving badly
/// will also be caught by one of the filtered versions (one which /// will also be caught by one of the filtered versions (one which
@ -361,7 +361,7 @@ mod tests {
connect(out_firing_data, ReadyValid::firing_data(dut.out)); connect(out_firing_data, ReadyValid::firing_data(dut.out));
} }
// Implement an one-entry FIFO and ensure its equivalence to the // Implement a one-entry FIFO and ensure its equivalence to the
// filtered FIFO. // filtered FIFO.
// //
// the holding register for our one-entry FIFO // the holding register for our one-entry FIFO