summaryrefslogtreecommitdiff
path: root/frontends/verific
Commit message (Expand)AuthorAge
* Updated verific build instructionsClifford Wolf2016-02-02
* Added addBufGate module methodClifford Wolf2016-02-02
* 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
* Added "ENABLE_PLUGINS := 0" to verific amd64 build instructionsClifford Wolf2014-11-08
* 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
* Updated verific build/test instructionsClifford Wolf2014-07-25
* 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
* Added test_navre.ys for verific frontendClifford 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