aboutsummaryrefslogtreecommitdiffstats
path: root/examples
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #856 from kprasadvnsi/masterClifford Wolf2019-03-076-10/+12
|\
| * examples/anlogic/ now also output the SVF file.Kali Prasad2019-03-066-10/+12
* | Refactor SF2 iobuf insertion, Add clkint insertionClifford Wolf2019-03-061-1/+1
* | Improve igloo2 exampleClifford Wolf2019-03-051-2/+3
* | Improve igloo2 exampleClifford Wolf2019-03-052-2/+54
* | Improvements in SF2 flow and demoClifford Wolf2019-03-052-1/+2
|/
* Improve igloo2 exmapleClifford Wolf2019-03-054-8/+16
* Add missing newlineClifford Wolf2019-03-051-1/+1
* Added examples/anlogic/Kali Prasad2019-03-047-0/+55
* Improve igloo2 exampleClifford Wolf2019-03-032-3/+10
* Update igloo2 example to Libero v12.0Clifford Wolf2019-03-032-6/+5
* Cleanups in igloo2 example designClifford Wolf2019-01-176-7/+4
* Add SF2 IO buffer insertionClifford Wolf2019-01-172-2/+3
* Improve Igloo2 exampleClifford Wolf2019-01-178-22/+41
* Improve igloo2 exampleClifford Wolf2019-01-084-5/+29
* Add skeleton Yosys-Libero igloo2 example projectClifford Wolf2019-01-055-0/+44
* Merge pull request #591 from hzeller/virtual-overrideClifford Wolf2018-08-151-1/+1
|\
| * Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-1/+1
* | fix basys3 examplejapm482018-07-222-0/+4
|/
* Update examples/cmos/counter.ys to use "synth" commandClifford Wolf2018-05-301-5/+5
* Add smtbmc support for exist-forall problemsClifford Wolf2018-02-233-2/+23
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-1/+1
* Fixed the -vout flag to -vqm in examples/intel directorydh732017-11-144-4/+4
* Add timing constraints to osu035 exampleClifford Wolf2017-10-103-2/+4
* Add examples/osu035Clifford Wolf2017-05-234-0/+30
* Replace CRLF line endings with LF in de2i.qsf (quartus example)Clifford Wolf2017-04-121-1098/+1098
* Squelch trailing whitespaceLarry Doolittle2017-04-126-31/+31
* Add initial support for both MAX10 and Cyclone IV (E|GX) FPGAsdh732017-04-0517-0/+1287
* Added $assert/$assume support to AIGER back-endClifford Wolf2016-12-032-3/+3
* Added examples/aiger/Clifford Wolf2016-12-014-0/+53
* Progress in examples/gowin/Clifford Wolf2016-11-085-21/+95
* Added examples/gowin/Clifford Wolf2016-11-076-0/+57
* Added $anyseq cell typeClifford Wolf2016-10-141-1/+2
* yosys-smtbmc meminit supportClifford Wolf2016-09-083-2/+29
* Improvements in assertpmuxClifford Wolf2016-09-073-2/+25
* Made examples/smtbmc/demo1.v more interestingClifford Wolf2016-09-021-1/+1
* Added $anyconst support to yosys-smtbmcClifford Wolf2016-08-303-1/+29
* Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"Clifford Wolf2016-08-301-4/+4
* Removed $predict againClifford Wolf2016-08-281-1/+0
* Added smtc "final" statementClifford Wolf2016-08-274-2/+36
* More yosys-smtbmc smtc featuresClifford Wolf2016-08-244-5/+38
* yosys-smtbmc --smtc -gClifford Wolf2016-08-242-5/+14
* Added "yosys-smtbmc --dump-constr"Clifford Wolf2016-08-221-1/+1
* Added examples/smtbmc/demo2.vClifford Wolf2016-08-203-3/+45
* Added smtbmc longopt supportClifford Wolf2016-08-201-2/+2
* Added $initstate support to smtbmc flowClifford Wolf2016-07-271-1/+2
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-1/+1
* Added examples/smtbmcClifford Wolf2016-07-132-0/+30
* Cleanups and improvements in examples/cmos/Clifford Wolf2016-03-115-12/+19
* Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956'Clifford Wolf2016-03-115-9/+76
|\