summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
Commit message (Collapse)AuthorAge
* Fixed mapping of Verific WIDE_DFFRS operatorClifford Wolf2014-03-20
|
* Fixed mapping of Verific FADD primitive with unconnected outputsClifford Wolf2014-03-20
|
* Progress in Verific bindingsClifford Wolf2014-03-17
|
* Progress in Verific bindingsClifford Wolf2014-03-17
|
* Progress in Verific bindingsClifford Wolf2014-03-17
|
* Added support for memories to verific bindingsClifford Wolf2014-03-16
|
* Use Verific Net::{IsGnd,IsPwr} API in Verific bindingsClifford Wolf2014-03-16
|
* Progress in Verific bindingsClifford Wolf2014-03-15
|
* Progress in Verific bindingsClifford Wolf2014-03-15
|
* Progress in Verific bindingsClifford Wolf2014-03-15
|
* Progress in Verific bindingsClifford Wolf2014-03-14
|
* Progress in Verific bindingsClifford Wolf2014-03-14
|
* Progress in Verific bindingsClifford Wolf2014-03-13
|
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-13
|
* Improved verific command (added support for some operators)Clifford Wolf2014-03-10
|
* Improvements in verific commandClifford Wolf2014-03-10
|
* Added "verific" commandClifford Wolf2014-03-09