2019-04-18 |
Clifford Wolf | Update to ABC 3709744 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-18 |
Clifford Wolf | Add "whitebox" attribute, add "read_verilog -wb" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-18 |
Clifford Wolf | Improve proc full_case detection and handling, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-17 |
Clifford Wolf | Update to ABC d1b6413 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-05 |
Clifford Wolf | Add "read_ilang -lib" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-04-04 |
Clifford Wolf | Added missing argument checking to "mutate" command Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-29 |
Clifford Wolf | Build Verilog parser with -DYYMAXDEPTH=100000, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "read -verific" and "read -noverific" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Add "rename -output" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-27 |
Clifford Wolf | Improve "rename" help message Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "cutpoint -undef" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Add "hdlname" attribute Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-26 |
Clifford Wolf | Fix "verific -extnets" for more complex situations Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-25 |
Clifford Wolf | Add "cutpoint" pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -none -mode", "mutate -mode none" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add "mutate -s <filename>" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add support for memory initialization to write_btor Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Fix BTOR output tags syntax in writye_btor Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-23 |
Clifford Wolf | Add RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend_u0... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-22 |
Clifford Wolf | Trim init attributes when resizing FFs in "wreduce... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Fix mem2reg handling of memories with upto data ports... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve "read_verilog -dump_vlog[12]" handling of upto... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-21 |
Clifford Wolf | Improve read_verilog debug output capabilities Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-19 |
Clifford Wolf | Add Xilinx negedge FFs to synth_xilinx dffinit call... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-17 |
Clifford Wolf | Update issue template Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Improve mix of src/wire/wirebit coverage in "mutate... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Add "fmcombine -fwd -bwd -nop" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-15 |
Clifford Wolf | Add fmcombine pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Disable realmath tests Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improvements in "mutate" list-reduce algorithm Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -cfg", improve pick_cover behavior Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add a strictly coverage-driven mutation selection strategy Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve "mutate" wire coverage metric Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add more mutation types, improve mutation src cover Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix smtbmc.py handling of zero appended steps Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate" command DB reduce functionality Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add hashlib "<container>::element(int n)" methods Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add "mutate -mode inv", various other mutate improvements Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Add basic "mutate -list N" framework Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve handling of and-with-1 and or-with-0 in opt_expr... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Improve handling of "full_case" attributes Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-14 |
Clifford Wolf | Fix a syntax bug in ilang backend related to process... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Fix a bug in handling quotes in multi-cmd lines in... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Remove ice40/cells_sim.v hack to avoid warning for... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Improve handling of memories used in mem index expressions... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Remove outdated "blocking assignment to memory" warning Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-12 |
Clifford Wolf | Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-11 |
Clifford Wolf | Improve determinism of IdString DB for similar scripts Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-11 |
Clifford Wolf | Add ENABLE_GLOB Makefile switch Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-10 |
Clifford Wolf | Fix handling of cases that look like sva labels, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-09 |
Clifford Wolf | Fix typo in ice40_braminit help msg Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-09 |
Clifford Wolf | Fix signed $shift/$shiftx handling in write_smt2 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-09 |
Clifford Wolf | Add $dffsr support to async2sync Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-09 |
Clifford Wolf | Also add support for labels on sva module items, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-08 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys
|
commit | commitdiff | tree |
2019-03-08 |
Clifford Wolf | Fix handling of task output ports in clocked always... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-07 |
Clifford Wolf | Use SVA label in smt export if available Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-07 |
Clifford Wolf | Add support for SVA labels in read_verilog Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-07 |
Clifford Wolf | Add hack for handling SVA labels via Verific Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-07 |
Clifford Wolf | Add link to SF2 / igloo2 macro library guide Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-07 |
Clifford Wolf | Improvements in sf2 cells_sim.v Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Add sf2 techmap rules for more FF types Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Refactor SF2 iobuf insertion, Add clkint insertion Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Improve igloo2 example Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Improve igloo2 example Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Improvements in SF2 flow and demo Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-06 |
Clifford Wolf | Improve igloo2 exmaple Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-05 |
Clifford Wolf | Add missing newline Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-05 |
Clifford Wolf | Use "write_edif -pvector bra" for Xilinx EDIF files Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-04 |
Clifford Wolf | Improve igloo2 example Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-04 |
Clifford Wolf | Update igloo2 example to Libero v12.0 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Clifford Wolf | Only run derive on blackbox modules when ports have... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Clifford Wolf | Fix error for wire decl in always block, fixes #763 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Clifford Wolf | Fix $global_clock handling vs autowire Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Clifford Wolf | Fix $readmem[hb] for mem2reg memories, fixes #785 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Clifford Wolf | Disable macOS builds in Travis Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-02 |
Larry Doolittle | Try again for passes/pmgen/ice40_dsp_pm.h rule
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Minor improvements in README Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Use mem2reg on memories that only have constant-index... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Fix "write_edif -gndvccy" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Improve "read" error msg Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Hotfix for "make test" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-03-01 |
Clifford Wolf | Fix multiple issues in wreduce FF handling, fixes #835 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-28 |
Clifford Wolf | Add "write_verilog -siminit" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-28 |
Larry Doolittle | Reduce amount of trailing whitespace in code base
|
commit | commitdiff | tree |
2019-02-28 |
Clifford Wolf | Fix pmgen for in-tree builds Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-28 |
Clifford Wolf | Fix pmgen for out-of-tree build Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-28 |
Clifford Wolf | Fix smt2 code generation for partially initialized... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-27 |
Clifford Wolf | Improvements in "supercover" pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-27 |
Clifford Wolf | Add "supercover" skeleton Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-26 |
Larry Doolittle | techlibs/greenpak4/cells_map.v: Harmonize whitespace...
|
commit | commitdiff | tree |
2019-02-26 |
Larry Doolittle | Clean up some whitepsace outliers
|
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Minor changes ontop of 71bcc4c: Remove hierarchy warning... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Cleanups in ARST handling in wreduce Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Fix handling of defparam for when default_nettype is... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Check if Verific was built with DB_PRESERVE_INITIAL_VALUE Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix Travis Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Hotfix for 4c82ddf Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix typo in passes/pmgen/README.md Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
next |