aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat
Commit message (Collapse)AuthorAgeFilesLines
...
| | * error when no signal foundMiodrag Milanovic2022-01-311-0/+2
| | |
| | * CleanupMiodrag Milanovic2022-01-311-1/+1
| | |
| | * Compare bits when not all are definedMiodrag Milanovic2022-01-311-3/+17
| | |
| | * CleanupMiodrag Milanovic2022-01-311-2/+2
| | |
| | * message updateMiodrag Milanovic2022-01-311-1/+1
| | |
| | * Display simulation time dataMiodrag Milanovic2022-01-311-1/+4
| | |
| | * Use edges when explicitMiodrag Milanovic2022-01-311-1/+5
| | |
| | * Updating initial state and checksMiodrag Milanovic2022-01-311-15/+28
| | |
| | * Fix scopeMiodrag Milanovic2022-01-311-1/+1
| | |
| | * check if stop before startMiodrag Milanovic2022-01-281-0/+3
| | |
| | * set initial state, only flip-flopsMiodrag Milanovic2022-01-281-1/+28
| | |
| | * ignore not found private signalsMiodrag Milanovic2022-01-281-0/+3
| | |
| | * recursive checkMiodrag Milanovic2022-01-281-26/+34
| | |
| | * Do actual compareMiodrag Milanovic2022-01-281-5/+16
| | |
| | * Add more options and time handlingMiodrag Milanovic2022-01-281-2/+103
| | |
| | * Display values of outputsMiodrag Milanovic2022-01-261-12/+10
| | |
| | * Check if stimulatedMiodrag Milanovic2022-01-261-0/+14
| | |
| | * Read fst and use data to set inputsMiodrag Milanovic2022-01-261-10/+92
| | |
| | * Add ability to write to FST fileMiodrag Milanovic2022-01-261-11/+109
| | |
| * | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+6
| |/
| * FfData: some refactoring.Marcelina Kościelnicka2021-10-072-26/+22
| | | | | | | | | | | | | | | | | | | | - FfData now keeps track of the module and underlying cell, if any (so calling emit on FfData created from a cell will replace the existing cell) - FfData implementation is split off to its own .cc file for faster compilation - the "flip FF data sense by inserting inverters in front and after" functionality that zinit uses is moved onto FfData class and beefed up to have dffsr support, to support more use cases
| * kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-022-31/+64
| | | | | | | | | | | | | | | | | | | | - *_en is split into *_ce (clock enable) and *_aload (async load aka latch gate enable), so both can be present at once - has_d is removed - has_gclk is added (to have a clear marker for $ff) - d_is_const and val_d leftovers are removed - async2sync, clk2fflogic, opt_dff are updated to operate correctly on FFs with async load
| * memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-281-0/+1
| |
| * Use HTTPS for website links, gatecat emailClaire Xenia Wolf2021-06-091-1/+1
| | | | | | | | | | | | | | | | | | | | git ls-tree -r --name-only HEAD | xargs sed -i -rf ~/fixemails.sed s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+(Shah|gatecat)\s+<(dave|david|gatecat)@(symbioticeda.com|yosyshq.com|ds0.me)>/gatecat <gatecat@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/|http://yosyshq.net/yosys/,https://yosyshq.net/yosys/,g;
| * Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0814-15/+15
| | | | | | | | | | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
| * sim: Add wide port support.Marcelina Kościelnicka2021-05-251-3/+3
| |
| * kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-1/+1
| | | | | | | | | | | | There will soon be more (versioned) memory cells, so handle passes that only care if a cell is memory-related by a simple helper call instead of a hardcoded list.
| * sim: Avoid a crash on empty cell connection.Marcelina Kościelnicka2021-03-081-1/+1
| | | | | | | | Fixes #2513.
* | clk2fflogic: nice names for autogenerated signalsNoah Moroze2021-03-021-9/+19
|/
* assertpmux: Fix crash on unused $pmux output.Marcelina Kościelnicka2021-02-221-1/+1
| | | | Fixes #2595.
* Add #include needed to build with gcc-11Gabriel Somlo2020-11-261-0/+1
| | | | Suggested by Jeff Law <law@redhat.com>
* Add rewrite_filename for sim -vcd argument.Chris Dailey2020-11-241-1/+3
|
* Merge pull request #2403 from nakengelhardt/sim_timescaleN. Engelhardt2020-10-221-0/+21
|\ | | | | sim -vcd: add date, version, and option for timescale
| * use strftime instead of put_time for gcc 4.8 compatibilityN. Engelhardt2020-10-211-4/+5
| |
| * wild guessing at the problem because it builds fine on my machinesN. Engelhardt2020-10-161-0/+3
| |
| * sim -vcd: add date, version, and option for timescaleN. Engelhardt2020-10-161-0/+17
| |
* | sim: Use Mem helper.Marcelina Kościelnicka2020-10-211-103/+90
| |
* | clk2fflogic: Use Mem helper.Marcelina Kościelnicka2020-10-211-68/+45
|/
* use the new isPublic() in a few placesN. Engelhardt2020-09-142-4/+4
|
* async2sync: Support all FF types.Marcelina Kościelnicka2020-07-302-145/+162
|
* async2sync: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-53/+11
|
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-200/+122
|
* qbfsat: Add `-solver-option` option.Alberto Gonzalez2020-07-202-1/+15
|
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-091-57/+51
| | | | | | | This fixes some dfflegalize equivalence checks, and breaks others — and I strongly suspect the others are due to bad support for multiple async inputs in `proc` (in particular, lack of proper support for dlatchsr and sketchy circuits on dffsr control inputs).
* Merge pull request #2208 from boqwxp/qbfsat-cleanupclairexen2020-07-022-255/+273
|\ | | | | qbfsat: Cleanup and refactoring
| * qbfsat: Remove useless comment and #ifndef guards.Alberto Gonzalez2020-07-011-5/+0
| |
| * qbfsat: Specify default values for some options in the help message.Alberto Gonzalez2020-07-011-0/+2
| |
| * qbfsat: Clean up external executable command lines and update temporary ↵Alberto Gonzalez2020-07-011-3/+7
| | | | | | | | directory name.
| * qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-012-248/+265
| |
* | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ffclairexen2020-07-021-2/+1
|\ \ | |/ |/| fmcombine: use the master ff cell type list
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 13:35:28 +0000