- Jan 17, 2022
-
-
Felipe Lisboa authored
-
- Dec 10, 2021
-
-
Felipe Lisboa authored
coq3: Implemented refresh, additional proof obligations, reworked default_arbitration and DDR4 support
-
- Nov 21, 2021
-
-
Felipe Lisboa authored
-
- Nov 20, 2021
-
-
Felipe Lisboa authored
-
- Nov 19, 2021
-
-
Felipe Lisboa authored
-
- Nov 18, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Nov 15, 2021
-
-
Felipe Lisboa authored
-
- Nov 14, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Oct 26, 2021
-
-
Felipe Lisboa authored
-
- Oct 12, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Oct 11, 2021
-
-
Florian Brandner authored
-
Florian Brandner authored
-
Florian Brandner authored
-
Florian Brandner authored
* the timing proofs are incomplete, but should be easy to do (copy-paste) * add some helper proofs (mostly related to filtering/removing in lists)
-
Florian Brandner authored
-
- Oct 08, 2021
-
-
Felipe Lisboa authored
-
- Jul 27, 2021
-
-
Felipe Lisboa authored
-
- Jul 19, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
Requestor_t as an eqType and later instantiated as unit_eqType generated problems to operate it as a natural number. Hence, the change.
-
- Jul 08, 2021
-
-
Florian Brandner authored
-
- May 26, 2021
-
-
Felipe Lisboa authored
-
- May 21, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- May 19, 2021
-
-
Felipe Lisboa authored
-
Florian Brandner authored
-
- May 18, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Florian Brandner authored
* missing: WR-to-RD
-
- May 17, 2021
-
-
Florian Brandner authored
* prove that CAS commands are preceded by an ACT with the same row with no other ACT or PRE command in between
-
- May 16, 2021
-
-
Florian Brandner authored
* less direct proofs * instead use general properties of the FIFO implementation
-
- May 07, 2021
-
-
Florian Brandner authored
-
Florian Brandner authored
-
Florian Brandner authored
-