aboutsummaryrefslogtreecommitdiffstats
path: root/examples
Commit message (Expand)AuthorAgeFilesLines
* glift: Use `qbfsat -O2` instead of manually calling `abc`.Alberto Gonzalez2020-07-018-40/+8
* glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-019-27/+27
* glift: Add `-create-imprecise` command, rename other commands, and re-work th...Alberto Gonzalez2020-07-019-12/+13
* glift: Add examples, including a number of benchmarks used in some academic w...Alberto Gonzalez2020-07-0118-1/+7279
* Use C++11 final/override keywords.whitequark2020-06-181-1/+1
* kernel: use more ID::*Eddie Hung2020-04-021-2/+2
* Add support for optimizing exists-forall problems.Alberto Gonzalez2020-03-132-2/+22
* set undriven pads to zeroPepijn de Vos2019-09-041-2/+2
* fix tcl scriptPepijn de Vos2019-09-041-2/+1
* add broken TCL run scriptPepijn de Vos2019-09-042-0/+18
* Add demonstration of breakagePepijn de Vos2019-09-041-0/+1
* Update example for GW1NR-9Pepijn de Vos2019-09-044-47/+28
* Add clock buffer insertion pass, improve iopadmap.Marcin Kościelnicki2019-08-131-2/+1
* Add a simple example for Spartan 6Marcin Kościelnicki2019-07-245-0/+47
* Added cell_stats exampleBenedikt Tutzer2019-04-034-478/+54
* Merge remote-tracking branch 'origin/master' into feature/python_bindingsBenedikt Tutzer2019-03-2816-1/+215
|\
| * 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
| |/
* / Added sample code for python-apiBenedikt Tutzer2018-12-113-0/+479
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-15 17:25:37 +0000