Sign in
foss-eda-tools
/
third_party
/
shuttle
/
sky130
/
mpw-001
/
slot-039
/
79cb9cda6cf0a4fea495a887cc4e3356fee06bfc
/
.
/
verilog
/
OpenFPGA_Verilog
/
define_simulation.v
blob: 8cbaaf5bcd40a1a33a14e7a9499dcecebbff1571 [
file
] [
log
] [
blame
]
//
//
//
//
//
//
//
//
`timescale 1ns / 1ps
`
define INITIAL_SIMULATION
1
`define AUTOCHECKED_SIMULATION 1
`
define ENABLE_FORMAL_VERIFICATION
1
`define FORMAL_SIMULATION 1
