aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | memory_collect: Copy attr from RTLIL::Memory to cellDavid Shah2019-11-181-0/+4
* | | | Merge pull request #1534 from YosysHQ/mwk/opt_share-fixClifford Wolf2019-11-272-4/+24
|\ \ \ \
| * | | | opt_share: Fix handling of fine cells.Marcin Kościelnicki2019-11-272-4/+24
| | |/ / | |/| |
* | | | Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improveEddie Hung2019-11-272-22/+5
|\ \ \ \ | |/ / / |/| | |
| * | | latch -> boxEddie Hung2019-11-261-1/+1
| * | | Remove notesEddie Hung2019-11-261-9/+0
| * | | Fold loopEddie Hung2019-11-261-6/+3
| * | | Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-261-1/+1
| * | | xaiger: do not promote output wiresEddie Hung2019-11-261-5/+0
|/ / /
* | | xilinx: Add simulation models for IOBUF and OBUFT.Marcin Kościelnicki2019-11-263-25/+30
* | | clkbufmap: Add support for inverters in clock path.Marcin Kościelnicki2019-11-254-6/+69
* | | xilinx: Use INV instead of LUT1 when applicableMarcin Kościelnicki2019-11-255-10/+14
| |/ |/|
* | Merge pull request #1520 from pietrmar/fix-1463Eddie Hung2019-11-221-2/+0
|\ \
| * | coolrunner2: remove spurious log_pop() call, fixes #1463Martin Pietryka2019-11-231-2/+0
|/ /
* | Merge pull request #1517 from YosysHQ/clifford/optmemClifford Wolf2019-11-223-0/+146
|\ \
| * | Add "opt_mem" passClifford Wolf2019-11-223-0/+146
* | | Merge pull request #1515 from YosysHQ/clifford/svastuffClifford Wolf2019-11-222-7/+39
|\ \ \ | |/ / |/| |
| * | Add Verific support for SVA nexttime propertiesClifford Wolf2019-11-221-0/+22
| * | Improve handling of verific primitives in "verific -import -V" modeClifford Wolf2019-11-221-2/+2
| * | Add Verific SVA support for "always" propertiesClifford Wolf2019-11-221-5/+15
|/ /
* | Merge pull request #1511 from YosysHQ/dave/alwaysClifford Wolf2019-11-226-9/+126
|\ \
| * | Update CHANGELOG and READMEDavid Shah2019-11-222-0/+7
| * | sv: Add tests for SV always typesDavid Shah2019-11-211-0/+63
| * | proc_dlatch: Add error handling for incorrect always_(ff|latch|comb) usageDavid Shah2019-11-211-4/+16
| * | sv: Correct parsing of always_comb, always_ff and always_latchDavid Shah2019-11-212-5/+40
* | | gowin: Remove show command from tests.Marcin Kościelnicki2019-11-221-1/+0
* | | gowin: Add missing .gitignore entriesMarcin Kościelnicki2019-11-221-0/+2
|/ /
* | Merge pull request #1507 from YosysHQ/clifford/verificfixesClifford Wolf2019-11-202-6/+9
|\ \
| * | Correctly treat empty modules as blackboxes in VerificClifford Wolf2019-11-201-1/+1
| * | Do not rename VHDL entities to "entity(impl)" when they are top modulesClifford Wolf2019-11-202-5/+8
|/ /
* | Merge pull request #1449 from pepijndevos/gowinClifford Wolf2019-11-1927-89/+841
|\ \
| * | Remove dff init altogetherPepijn de Vos2019-11-192-3/+3
| * | add help for nowidelut and abc9 optionsPepijn de Vos2019-11-181-1/+7
| * | Merge branch 'master' of https://github.com/YosysHQ/yosys into gowinPepijn de Vos2019-11-1615-47/+913
| |\ \
| * | | fix fsm test with proper clock enable polarityPepijn de Vos2019-11-112-4/+15
| * | | Merge branch 'master' of https://github.com/YosysHQ/yosys into gowinPepijn de Vos2019-11-1129-23010/+30701
| |\ \ \
| * | | | fix wide lutsPepijn de Vos2019-11-062-19/+22
| * | | | don't cound exact luts in big muxes; futile and fragilePepijn de Vos2019-10-301-3/+0
| * | | | add IOBUFPepijn de Vos2019-10-282-1/+10
| * | | | add tristate buffer and testPepijn de Vos2019-10-283-2/+21
| * | | | do not use wide luts in testcasePepijn de Vos2019-10-281-3/+3
| * | | | actually run the gowin testsPepijn de Vos2019-10-281-0/+1
| * | | | More formattingPepijn de Vos2019-10-281-55/+49
| * | | | really really fix formatting maybePepijn de Vos2019-10-281-41/+41
| * | | | undo formatting fuckupPepijn de Vos2019-10-281-25/+25
| * | | | add wide lutsPepijn de Vos2019-10-283-36/+119
| * | | | add 32-bit BRAM and byte-enablesPepijn de Vos2019-10-282-4/+25
| * | | | ALU sim tweaksPepijn de Vos2019-10-242-13/+13
| * | | | Add some testsPepijn de Vos2019-10-2110-0/+224
| * | | | add a few more missing dffPepijn de Vos2019-10-211-7/+16