projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add optimization of tristate buffer with constant control input
2018-05-12 Clifford WolfAdd optimization of tristate buffer with constant control...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-12 Clifford WolfAdd "hierarchy -simcheck"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-05 Clifford WolfFurther improve handling of zero-length SVA consecutive...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-05 Clifford WolfFix handling of zero-length SVA consecutive repetition
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-04 Clifford WolfAdd ABC FAQ to "help abc"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-04 Clifford WolfAdd "yosys -e regex" for turning warnings into errors
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-05-04 Clifford WolfMerge pull request #537 from mithro/yosys-vpr
 commit | commitdiff | tree
2018-05-03 Clifford WolfReplace -ignore_redef with -[no]overwrite
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-30 Clifford WolfUpdate ABC to git rev f23ea8e
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-30 Clifford WolfAdd "synth_intel --noiopads"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-22 Clifford WolfAdd $dlatch support to write_verilog
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-16 Clifford WolfAdd "synth_ice40 -nodffe"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-15 Clifford WolfAdd "write_blif -inames -iattr"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-13 Clifford WolfAdd statement labels for immediate assertions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-12 Clifford WolfAllow "property" in immediate assertions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-12 Clifford WolfImprove Makefile error handling for when abc/ is a...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-07 Clifford WolfAdd PRIM_HDL_ASSERTION support to Verific importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfFix handling of $global_clocking in Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfAdd documentation for anyconst/anyseq/allconst/allseq...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfAdd read_verilog anyseq/anyconst/allseq/allconst attribute...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfAdd Verific anyseq/anyconst/allseq/allconst attribute...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfAdd "verific -autocover"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-06 Clifford WolfMerge pull request #530 from makaimann/set-ram-flags
 commit | commitdiff | tree
2018-04-05 Clifford WolfAdded missing dont_use handling for SR FFs to dfflibmap
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-04 Clifford WolfCreate issue_template.md
 commit | commitdiff | tree
2018-04-04 Clifford WolfAdd smtio.py support for parsing SMT2 (_ bvX n) syntax...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-04-04 Clifford WolfFixed -stbv handling in SMT2 back-end
 commit | commitdiff | tree
2018-04-01 Clifford WolfMerge pull request #522 from c60k28/master
 commit | commitdiff | tree
2018-03-31 Clifford WolfRemove left-over log_ping debug commands.. oops.
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-31 Clifford WolfMerge pull request #521 from azonenberg/for_clifford
 commit | commitdiff | tree
2018-03-29 Clifford WolfAdd smtio status msgs when --progress is inactive
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-29 Clifford WolfBugfix in smtio.py VCD file generator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-29 Clifford WolfRemoved $timescale from "sat" command VCD writer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-27 Clifford WolfSet stack size to at least 128 MB (large stack needed...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-27 Clifford WolfFix tests/simple/specify.v
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-27 Clifford WolfMerge pull request #515 from edcote/patch-1
 commit | commitdiff | tree
2018-03-27 Clifford WolfChenged "extensions_map" to "extensions_list" in hierarchy.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-27 Clifford WolfMerge pull request #518 from xerpi/master
 commit | commitdiff | tree
2018-03-27 Clifford WolfAdd $mem support to SMT2 clock tagging
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-26 Clifford WolfFix build for new ABC location on github, also update...
commit | commitdiff | tree
2018-03-26 Clifford WolfAdd .sv support to "hierarchy -libdir"
 commit | commitdiff | tree
2018-03-26 Clifford WolfFix handling of unclocked immediate assertions in Verific...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-17 Clifford WolfImprove yosys-smtbmc log output and error handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-17 Clifford WolfImprove handling of invalid check-sat result in smtio.py
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-16 Clifford WolfAdd todo for more features to verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-15 Clifford WolfImprove import of memories via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-14 Clifford WolfFix handling of SV compilation units in Verific front-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-12 Clifford WolfAdd "expose -input"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-12 Clifford WolfAdd "setundef -undef"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-10 Clifford WolfFix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-10 Clifford WolfFix variable name typo in verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-10 Clifford WolfAdd support for trivial SVA sequences and properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-10 Clifford WolfFix handling of src attributes in flatten
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-08 Clifford WolfRemove debug prints from yosys-smtbmc VCD writer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-08 Clifford WolfUse Verific hier_tree component for elaboration
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-07 Clifford WolfCheck results of (check-sat) in yosys-smtbmc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-07 Clifford WolfFix Verific handling of "assert property (..);" in...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-07 Clifford WolfAdd "verific -import -V"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-07 Clifford WolfSet Verific db_preserve_user_nets flag
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-07 Clifford WolfAdd Xilinx RAM64X1D and RAM128X1D simulation models
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd "memory_nordff" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfUpdate comment about supported SVA in verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd SVA NON_CONSECUTIVE_REPEAT and GOTO_REPEAT support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd SVA first_match() support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd SVA within support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd support for SVA sequence intersect
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfAdd get_fsm_accept_reject for parsing SVA properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-06 Clifford WolfSimplified SVA "until" handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-05 Clifford WolfImporove yosys-smtbmc error handling, Improve VCD output
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfFix connwrappers help message
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfImprove handling of warning messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfUpdate copyright header
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfImprove SMT2 encoding of $reduce_{and,or,bool}
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfFix a hangup in yosys-smtbmc error handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfAdd proper SVA seq.triggered support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfAdd "synth -noshare"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfAdd Verific SVA support for "seq and seq" expressions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfRefactor Verific SVA importer property parser
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-04 Clifford WolfAdd VerificClocking class and refactor Verific DFF...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-03 Clifford WolfImproved error handling in yosys-smtbmc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-03 Clifford WolfAdd SVA support for sequence OR
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-03 Clifford WolfTerminate running SMT solver when smtbmc is terminated
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-03 Clifford WolfFix smtbmc smtc/aiw parser for wire names containing []
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-02 Clifford WolfFix handling of SVA "until seq.triggered" properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-02 Clifford WolfUpdate SVA cheat sheet in verificsva.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-01 Clifford WolfFix in Verific SVA importer handling of until_with
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-01 Clifford WolfMangle names with square brackets in VCD files to work...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-01 Clifford WolfFixes and improvements in Verific SVA importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-03-01 Clifford WolfAdd $rose/$fell support to Verific bindings
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-28 Clifford WolfMerge branch 'verificsva-ng'
 commit | commitdiff | tree
2018-02-28 Clifford WolfAdd support for PRIM_SVA_UNTIL to new SVA importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-28 Clifford WolfAdd DFSM generator to verific SVA importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-28 Clifford WolfContinue refactoring of Verific SVA importer code
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-27 Clifford WolfMajor redesign of Verific SVA importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-27 Clifford WolfAdd -lz for verific builds
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-26 Clifford WolfAdd handling of verific OPER_REDUCE_NOR
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-26 Clifford WolfAdd handling of verific OPER_SELECTOR and OPER_WIDE_SELECTOR
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-02-26 Clifford WolfAdd handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
next