diff options
| author | Aman Goel <amangoel@umich.edu> | 2018-10-01 19:03:10 -0400 |
|---|---|---|
| committer | Aman Goel <amangoel@umich.edu> | 2018-10-01 19:03:10 -0400 |
| commit | 90e0938f9a94464ac48a8fd4acdfbf805216b763 (patch) | |
| tree | ca904a10b1d339174ea04f34cae15df339305269 /passes | |
| parent | 33cb5e05be4fea9e09e1686a29a1f194a44c0e8a (diff) | |
| download | yosys-90e0938f9a94464ac48a8fd4acdfbf805216b763.tar.gz yosys-90e0938f9a94464ac48a8fd4acdfbf805216b763.tar.bz2 yosys-90e0938f9a94464ac48a8fd4acdfbf805216b763.zip | |
Update to .smv backend
Splitting VAR and ASSIGN into IVAR, VAR, DEFINE and ASSIGN. This allows better handling by nuXmv for post-processing (since now only state variables are listed under VAR).
Diffstat (limited to 'passes')
0 files changed, 0 insertions, 0 deletions