aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
Commit message (Collapse)AuthorAgeFilesLines
* Progress in Verific bindingsClifford Wolf2014-03-171-5/+50
|
* Progress in Verific bindingsClifford Wolf2014-03-171-0/+2
|
* Added support for memories to verific bindingsClifford Wolf2014-03-162-1/+86
|
* Use Verific Net::{IsGnd,IsPwr} API in Verific bindingsClifford Wolf2014-03-161-27/+11
|
* Progress in Verific bindingsClifford Wolf2014-03-151-39/+16
|
* Progress in Verific bindingsClifford Wolf2014-03-151-7/+15
|
* Progress in Verific bindingsClifford Wolf2014-03-151-31/+31
|
* Progress in Verific bindingsClifford Wolf2014-03-141-13/+38
|
* Progress in Verific bindingsClifford Wolf2014-03-141-222/+338
|
* Progress in Verific bindingsClifford Wolf2014-03-131-10/+65
|
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-132-8/+23
|
* Added test_navre.ys for verific frontendClifford Wolf2014-03-131-0/+17
|
* Improved verific command (added support for some operators)Clifford Wolf2014-03-101-2/+160
|
* Improvements in verific commandClifford Wolf2014-03-101-59/+39
|
* Added "verific" commandClifford Wolf2014-03-092-0/+489