projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33cb5e0) | patch
Update to .smv backend
authorAman Goel <amangoel@umich.edu>
Mon, 1 Oct 2018 23:03:10 +0000 (19:03 -0400)
committerAman Goel <amangoel@umich.edu>
Mon, 1 Oct 2018 23:03:10 +0000 (19:03 -0400)
commit90e0938f9a94464ac48a8fd4acdfbf805216b763
treeca904a10b1d339174ea04f34cae15df339305269tree
parent33cb5e05be4fea9e09e1686a29a1f194a44c0e8acommit | diff
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).
Makefile diff | blob | history
backends/smv/smv.cc diff | blob | history