aboutsummaryrefslogtreecommitdiffstats
path: root/examples
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #856 from kprasadvnsi/masterClifford Wolf2019-03-076-10/+12
|\ | | | | examples/anlogic/ now also output the SVF file.
| * 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
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Improve igloo2 exampleClifford Wolf2019-03-051-2/+3
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Improve igloo2 exampleClifford Wolf2019-03-052-2/+54
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Improvements in SF2 flow and demoClifford Wolf2019-03-052-1/+2
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve igloo2 exmapleClifford Wolf2019-03-054-8/+16
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add missing newlineClifford Wolf2019-03-051-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Added examples/anlogic/Kali Prasad2019-03-047-0/+55
|
* Improve igloo2 exampleClifford Wolf2019-03-032-3/+10
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update igloo2 example to Libero v12.0Clifford Wolf2019-03-032-6/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Cleanups in igloo2 example designClifford Wolf2019-01-176-7/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add SF2 IO buffer insertionClifford Wolf2019-01-172-2/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve Igloo2 exampleClifford Wolf2019-01-178-22/+41
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve igloo2 exampleClifford Wolf2019-01-084-5/+29
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add skeleton Yosys-Libero igloo2 example projectClifford Wolf2019-01-055-0/+44
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #591 from hzeller/virtual-overrideClifford Wolf2018-08-151-1/+1
|\ | | | | Consistent use of 'override' for virtual methods in derived classes.
| * Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-1/+1
| | | | | | | | | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* | fix basys3 examplejapm482018-07-222-0/+4
|/ | | | | | | Added `CONFIG_VOLTAGE` and `CFGBVS` to constraints file to avoid warning `DRC 23-20`. Added `open_hw` needed for programming.
* Update examples/cmos/counter.ys to use "synth" commandClifford Wolf2018-05-301-5/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add smtbmc support for exist-forall problemsClifford Wolf2018-02-233-2/+23
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* 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
|\
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-25 00:22:08 +0000
ef='#n926'>926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070