verific: rewrite initial assume/asserts prior to elaboration
authorEddie Hung <eddie@fpgeh.com>
Fri, 15 May 2020 21:05:28 +0000 (14:05 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 15 May 2020 21:05:28 +0000 (14:05 -0700)
commit39fa1e160d4af42aa6d186e8e684ea1cafdc2391
treeecbbc8472706a678ed225eef10dc92b6829f2134
parent07eecff9cca555086667666c4dbdb4c6a7133c67
verific: rewrite initial assume/asserts prior to elaboration
frontends/verific/verific.cc