diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-13 11:52:53 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-13 11:52:53 +0200 |
| commit | 8397962424388b755df18e368920d86f20391671 (patch) | |
| tree | bc7a0ff38e6ad9f4f7d5a6a829c9dfbf5bf232aa /scripts/smt2-bmc/mem_equiv.v | |
| parent | 12e64c79682e9c373a8f1d664264d0b63a692d71 (diff) | |
| download | picorv32-8397962424388b755df18e368920d86f20391671.tar.gz picorv32-8397962424388b755df18e368920d86f20391671.zip | |
Progress with smt2-based bmc scripts
Diffstat (limited to 'scripts/smt2-bmc/mem_equiv.v')
| -rw-r--r-- | scripts/smt2-bmc/mem_equiv.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/smt2-bmc/mem_equiv.v b/scripts/smt2-bmc/mem_equiv.v index 6aba8f1..1904e06 100644 --- a/scripts/smt2-bmc/mem_equiv.v +++ b/scripts/smt2-bmc/mem_equiv.v @@ -15,6 +15,7 @@ module main (input clk, resetn, domem, output trap); (* keep *) wire [31:0] mem_rdata; picorv32 #( + .ENABLE_COUNTERS ( 0), .ENABLE_REGS_DUALPORT(ENABLE_REGS_DUALPORT), .TWO_STAGE_SHIFT (TWO_STAGE_SHIFT ), .TWO_CYCLE_COMPARE (TWO_CYCLE_COMPARE ), |