index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add .sv support to "hierarchy -libdir"
Clifford Wolf
2018-03-26
1
-0
/
+6
*
Fix handling of unclocked immediate assertions in Verific front-end
Clifford Wolf
2018-03-26
3
-17
/
+42
*
Improve yosys-smtbmc log output and error handling
Clifford Wolf
2018-03-17
1
-5
/
+14
*
Improve handling of invalid check-sat result in smtio.py
Clifford Wolf
2018-03-17
1
-1
/
+2
*
Update todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-3
/
+3
*
Update todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-0
/
+1
*
Add todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-8
/
+45
*
Improve import of memories via Verific
Clifford Wolf
2018-03-15
1
-16
/
+23
*
Fix handling of SV compilation units in Verific front-end
Clifford Wolf
2018-03-14
1
-28
/
+25
*
Add "expose -input"
Clifford Wolf
2018-03-12
1
-8
/
+43
*
Add "setundef -undef"
Clifford Wolf
2018-03-12
1
-0
/
+11
*
Squelch trailing whitespace, including meta-whitespace
Larry Doolittle
2018-03-11
4
-16
/
+16
*
Harmonize uses of _WIN32 macro
Larry Doolittle
2018-03-11
1
-1
/
+1
*
Fix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT
Clifford Wolf
2018-03-10
1
-15
/
+72
*
Fix variable name typo in verificsva.cc
Clifford Wolf
2018-03-10
1
-2
/
+2
*
Add support for trivial SVA sequences and properties
Clifford Wolf
2018-03-10
1
-12
/
+102
*
Fix handling of src attributes in flatten
Clifford Wolf
2018-03-10
1
-7
/
+2
*
Remove debug prints from yosys-smtbmc VCD writer
Clifford Wolf
2018-03-08
1
-2
/
+0
*
Use Verific hier_tree component for elaboration
Clifford Wolf
2018-03-08
2
-1
/
+55
*
Check results of (check-sat) in yosys-smtbmc
Clifford Wolf
2018-03-07
1
-0
/
+2
*
Fix Verific handling of "assert property (..);" in always block
Clifford Wolf
2018-03-07
3
-14
/
+60
*
Add "verific -import -V"
Clifford Wolf
2018-03-07
2
-6
/
+18
*
Set Verific db_preserve_user_nets flag
Clifford Wolf
2018-03-07
1
-0
/
+1
*
Add Xilinx RAM64X1D and RAM128X1D simulation models
Clifford Wolf
2018-03-07
4
-23
/
+30
*
Add "memory_nordff" pass
Clifford Wolf
2018-03-06
2
-0
/
+112
*
Update comment about supported SVA in verificsva.cc
Clifford Wolf
2018-03-06
1
-51
/
+8
*
Add SVA NON_CONSECUTIVE_REPEAT and GOTO_REPEAT support
Clifford Wolf
2018-03-06
1
-20
/
+41
*
Add SVA first_match() support
Clifford Wolf
2018-03-06
1
-0
/
+16
*
Add SVA within support
Clifford Wolf
2018-03-06
1
-2
/
+18
*
Add support for SVA sequence intersect
Clifford Wolf
2018-03-06
1
-36
/
+251
*
Add get_fsm_accept_reject for parsing SVA properties
Clifford Wolf
2018-03-06
1
-73
/
+86
*
Simplified SVA "until" handling
Clifford Wolf
2018-03-06
1
-25
/
+16
*
Imporove yosys-smtbmc error handling, Improve VCD output
Clifford Wolf
2018-03-05
2
-23
/
+49
*
Fix connwrappers help message
Clifford Wolf
2018-03-04
1
-1
/
+1
*
Improve handling of warning messages
Clifford Wolf
2018-03-04
3
-12
/
+42
*
Update copyright header
Clifford Wolf
2018-03-04
1
-1
/
+1
*
Improve SMT2 encoding of $reduce_{and,or,bool}
Clifford Wolf
2018-03-04
1
-1
/
+9
*
Fix a hangup in yosys-smtbmc error handling
Clifford Wolf
2018-03-04
1
-3
/
+5
*
Add proper SVA seq.triggered support
Clifford Wolf
2018-03-04
3
-37
/
+102
*
Add "synth -noshare"
Clifford Wolf
2018-03-04
1
-2
/
+11
*
Add Verific SVA support for "seq and seq" expressions
Clifford Wolf
2018-03-04
1
-24
/
+94
*
Refactor Verific SVA importer property parser
Clifford Wolf
2018-03-04
1
-56
/
+82
*
Add VerificClocking class and refactor Verific DFF handling
Clifford Wolf
2018-03-04
3
-126
/
+196
*
Improved error handling in yosys-smtbmc
Clifford Wolf
2018-03-03
1
-1
/
+3
*
Add SVA support for sequence OR
Clifford Wolf
2018-03-03
1
-22
/
+33
*
Terminate running SMT solver when smtbmc is terminated
Clifford Wolf
2018-03-03
1
-1
/
+31
*
Fix smtbmc smtc/aiw parser for wire names containing []
Clifford Wolf
2018-03-03
1
-1
/
+1
*
Fix handling of SVA "until seq.triggered" properties
Clifford Wolf
2018-03-02
1
-7
/
+25
*
Update SVA cheat sheet in verificsva.cc
Clifford Wolf
2018-03-02
1
-2
/
+4
*
Fix in Verific SVA importer handling of until_with
Clifford Wolf
2018-03-01
1
-7
/
+5
[next]