2021-03-08 |
Marcelina Kościelnicka | tests/bram: Do not generate write address collisions.
|
commit | commitdiff | tree |
2021-03-07 |
Dan Ravensloft | Replace assert in abc9_ops with more useful error message
|
commit | commitdiff | tree |
2021-03-06 |
Marcelina Kościelnicka | proc_clean: Fix empty case removal conditions.
|
commit | commitdiff | tree |
2021-03-06 |
Marcelina Kościelnicka | Remove a few functions that, in fact, did not exist...
|
commit | commitdiff | tree |
2021-03-05 |
Dan Ravensloft | Replace assert in addModule with more useful error...
|
commit | commitdiff | tree |
2021-03-01 |
Marcelina Kościelnicka | Bump version
|
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | Bump version
|
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | btor, smt2, smv: Add a hint on how to deal with funny...
|
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | Fix handling of unique/unique0/priority cases in the...
|
commit | commitdiff | tree |
2021-02-24 |
Marcelina Kościelnicka | Add tests for some common techmap files.
|
commit | commitdiff | tree |
2021-02-24 |
Marcelina Kościelnicka | Fix syntax error in adff2dff.v
|
commit | commitdiff | tree |
2021-02-23 |
Marcelina Kościelnicka | frontend: Make helper functions for printing locations.
|
commit | commitdiff | tree |
2021-02-23 |
Robert Baruch | int -> bool
|
commit | commitdiff | tree |
2021-02-23 |
Robert Baruch | Adds is_wire to SigBit and SigChunk
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Switch to LUT4 sim model which propagates...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Update tribuf test to reflect active-low OE.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add experimental status to help.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add DCCA and DCMA blackbox primitives.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix reversed interpretation of REG_SD config...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Tristate is active-low.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix typos in FACADE_FF sim model.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix naming of TRELLIS_IO ports to match PIO...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Improve help_mode output in synth_machxo2.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Use attrmvcp pass to move LOC and src attributes...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add missing OSCH oscillator primitive.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add believed-to-be-correct tribuf test.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add passing fsm, mux, and shifter tests.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add add_sub test. Fix tests to include FACADE_IO...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add -noiopad option to synth_machxo2.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Use correct INITVAL for LUT1 in FACADE_SLICE.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix cells_sim typo where OFX1 was multiply...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: synth_machxo2 now maps ports to FACADE_IO.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add initial value for Q in FACADE_FF.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add FACADE_IO simulation model. More comments...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add FACADE_SLICE simulation model.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Improve FACADE_FF simulation model.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Improve LUT4 techmap. Use same output port...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add dffe test.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add dff.ys test, fix another cells_map.v typo.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix more oversights in machxo2 models. logic...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Add test/arch/machxo2 directory (test does...
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Fix typos. test/arch/run-test.sh passes.
|
commit | commitdiff | tree |
2021-02-23 |
William D. Jones | machxo2: Create basic techlibs and synth_machxo2 pass.
|
commit | commitdiff | tree |
2021-02-22 |
Karol Gugala | frontend: json: parse negative values
|
commit | commitdiff | tree |
2021-02-22 |
Marcelina Kościelnicka | assertpmux: Fix crash on unused $pmux output.
|
commit | commitdiff | tree |
2021-01-29 |
Marcelina Kościelnicka | ast: fix dump_vlog display of casex/casez
|
commit | commitdiff | tree |
2021-01-26 |
Marcelina Kościelnicka | xilinx_dffopt: Don't crash on missing IS_*_INVERTED.
|
commit | commitdiff | tree |
2021-01-26 |
Marcelina Kościelnicka | xilinx: Add FDRSE_1, FDCPE_1.
|
commit | commitdiff | tree |
2021-01-14 |
Marcelina Kościelnicka | opt_share: Fix X and CO signal width for shifted $alu...
|
commit | commitdiff | tree |
2020-12-21 |
Marcelina Kościelnicka | xilinx: Add some missing blackbox cells.
|
commit | commitdiff | tree |
2020-12-21 |
Marcelina Kościelnicka | xilinx: Regenerate cells_xtra.v using Vivado 2020.2
|
commit | commitdiff | tree |
2020-12-17 |
Marcelina Kościelnicka | xilinx: Add FDDRCPE and FDDRRSE blackbox cells.
|
commit | commitdiff | tree |
2020-12-14 |
Marcelina Kościelnicka | timinginfo: Error instead of segfault on const signals.
|
commit | commitdiff | tree |
2020-10-24 |
Marcelina Kościelnicka | xilinx: Fix attributes_test.ys
|
commit | commitdiff | tree |
2020-10-22 |
Marcelina Kościelnicka | memory_dff: Fix needlessly duplicating enable bits.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | btor: Use Mem helper.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | smt2: Use Mem helper.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | verilog_backend: Use Mem helper.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | sim: Use Mem helper.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | clk2fflogic: Use Mem helper.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | opt_mem: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | memory_bram: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | memory_map: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | memory_unpack: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | memory_collect: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | memory_nordff: Use Mem helpers.
|
commit | commitdiff | tree |
2020-10-21 |
Marcelina Kościelnicka | Add new helper structures to represent memories.
|
commit | commitdiff | tree |
2020-10-08 |
Marcelina Kościelnicka | opt_clean: Better memory handling.
|
commit | commitdiff | tree |
2020-08-28 |
Dan Ravensloft | intel_alm: better map wide but shallow multiplies
|
commit | commitdiff | tree |
2020-08-27 |
Marcelina Kościelnicka | dfflegalize: Fix decision tree for adffe.
|
commit | commitdiff | tree |
2020-08-26 |
Dan Ravensloft | intel_alm: Add multiply signedness to cells
|
commit | commitdiff | tree |
2020-08-20 |
Marcelina Kościelnicka | synth_intel: Remove incomplete Arria 10 GX support.
|
commit | commitdiff | tree |
2020-08-20 |
Dan Ravensloft | intel: move Cyclone V support to intel_alm
|
commit | commitdiff | tree |
2020-08-20 |
Marcelina Kościelnicka | techmap/shift_shiftx: Remove the "shiftx2mux" special...
|
commit | commitdiff | tree |
2020-08-18 |
Xiretza | Ensure \A_SIGNED is never used with $shiftx
|
commit | commitdiff | tree |
2020-08-18 |
Xiretza | Respect \A_SIGNED for $shift
|
commit | commitdiff | tree |
2020-08-17 |
Marcelina Kościelnicka | opt_share: Refactor, fix some bugs.
|
commit | commitdiff | tree |
2020-08-13 |
Dan Ravensloft | intel_alm: fix typo in MISTRAL_MUL27X27 cell name
|
commit | commitdiff | tree |
2020-08-12 |
Dan Ravensloft | intel_alm: add more megafunctions. NFC.
|
commit | commitdiff | tree |
2020-08-09 |
Marcelina Kościelnicka | opt_clean: Fix module keep rules.
|
commit | commitdiff | tree |
2020-08-07 |
Marcelina Kościelnicka | Remove now-redundant dff2dffe pass.
|
commit | commitdiff | tree |
2020-08-07 |
Marcelina Kościelnicka | Remove now-redundant dff2dffs pass.
|
commit | commitdiff | tree |
2020-08-07 |
Marcelina Kościelnicka | peepopt: Remove now-redundant dffmux pattern.
|
commit | commitdiff | tree |
2020-08-07 |
Marcelina Kościelnicka | Remove now-redundant opt_rmdff pass.
|
commit | commitdiff | tree |
2020-08-07 |
Marcelina Kościelnicka | Replace opt_rmdff with opt_dff.
|
commit | commitdiff | tree |
2020-08-05 |
Marcelina Kościelnicka | peeopt.shiftmul: Add a signedness check.
|
commit | commitdiff | tree |
2020-08-05 |
Marcelina Kościelnicka | techmap.CONSTMAP: Handle outputs before inputs.
|
commit | commitdiff | tree |
2020-08-04 |
Marcelina Kościelnicka | peepopt.muldiv: Add a signedness check.
|
commit | commitdiff | tree |
2020-08-02 |
Marcelina Kościelnicka | techmap: Add support for [] wildcards in techmap_celltype.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | Add dffunmap pass.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | opt_expr: Remove -clkinv option, make it the default.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | synth_ice40: Use opt_dff.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | synth_xilinx: Use opt_dff.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | async2sync: Support all FF types.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | Add opt_dff pass.
|
commit | commitdiff | tree |
2020-07-30 |
Marcelina Kościelnicka | verilog_backend: Add handling for all FF types.
|
commit | commitdiff | tree |
2020-07-29 |
Marcelina Kościelnicka | opt_expr: Fix handling of $_XNOR_ cells with A = B.
|
commit | commitdiff | tree |
2020-07-28 |
Marcelina Kościelnicka | ffinit: Fortify the code a bit.
|
commit | commitdiff | tree |
2020-07-27 |
Marcelina Kościelnicka | equiv_induct: Fix up assumption for $equiv cells in...
|
commit | commitdiff | tree |
2020-07-27 |
Dan Ravensloft | intel_alm: direct M10K instantiation
|
commit | commitdiff | tree |
next |