diff options
| author | George Rennie <georgerennie@gmail.com> | 2021-09-04 22:40:51 +0100 |
|---|---|---|
| committer | George Rennie <georgerennie@gmail.com> | 2022-06-18 18:19:26 +0100 |
| commit | c659bd18786633c52d42b5966627d39d99ae89e3 (patch) | |
| tree | ad4ac42c0966e6ae028f72d3868dfabc27a80c24 /backends/smv | |
| parent | 90147f5fbf38aef79067dfb92a9e5eceff791ba7 (diff) | |
| download | yosys-c659bd18786633c52d42b5966627d39d99ae89e3.tar.gz yosys-c659bd18786633c52d42b5966627d39d99ae89e3.tar.bz2 yosys-c659bd18786633c52d42b5966627d39d99ae89e3.zip | |
chformal: Add -coverprecond option
This inserts $cover cells to cover the enable signal (precondition)
for the selected formal cells.
Diffstat (limited to 'backends/smv')
0 files changed, 0 insertions, 0 deletions