summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
Commit message (Collapse)AuthorAge
* Added PRIM_DLATCHRS support to verific front-endClifford Wolf2015-11-24
|
* Fixed performance bug in Verific importerClifford Wolf2015-11-16
|
* Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-12
|
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-25
|
* Added read-enable to memory modelClifford Wolf2015-09-25
|
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
|
* Fixed trailing whitespacesClifford Wolf2015-07-02
|
* Verific build fixesClifford Wolf2015-05-17
|
* Added log_warning() APIClifford Wolf2014-11-09
|
* Header changes so it will compile on VSWilliam Speirs2014-10-17
|
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-10
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
|
* Added module->uniquify()Clifford Wolf2014-08-16
|
* Renamed $_INV_ cell type to $_NOT_Clifford Wolf2014-08-15
|
* Fixed building verific bindingsClifford Wolf2014-08-12
|
* Fixed build of verific bindingsClifford Wolf2014-07-31
|
* Added module->design and cell->module, wire->module pointersClifford Wolf2014-07-31
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-31
|
* Using log_assert() instead of assert()Clifford Wolf2014-07-28
|
* Fixed verific bindings for new RTLIL apiClifford Wolf2014-07-27
|
* Various fixes in Verific frontend for new RTLIL APIClifford Wolf2014-07-23
|
* 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