projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Improvements in "test_cell -vlog"
[yosys.git]
/
tests
/
2014-08-30
Clifford Wolf
Added autotest -e (do not use -noexpr on write_verilog)
tree
|
commitdiff
2014-08-21
Clifford Wolf
Cosmetic changes to FSM tests
tree
|
commitdiff
2014-08-14
Clifford Wolf
Some improvements in FSM mapping and recoding
tree
|
commitdiff
2014-08-12
Clifford Wolf
Added test_verific mode to tests/fsm/generate.py
tree
|
commitdiff
2014-08-12
Clifford Wolf
Added multi-dim memory test (requires iverilog git...
tree
|
commitdiff
2014-08-10
Clifford Wolf
Fixed FSM mapping for multiple reset-like signals
tree
|
commitdiff
2014-08-09
Clifford Wolf
Some improvements in fsm_opt and fsm_map for FSM with...
tree
|
commitdiff
2014-08-08
Clifford Wolf
Improved FSM tests
tree
|
commitdiff
2014-08-08
Clifford Wolf
Added FSM test bench
tree
|
commitdiff
2014-08-05
Clifford Wolf
Improved scope resolution of local regs in Verilog...
tree
|
commitdiff
2014-08-05
Clifford Wolf
Fixed AST handling of variables declared inside a funct...
tree
|
commitdiff
2014-08-03
Clifford Wolf
Added "wreduce" to some of the standard test benches
tree
|
commitdiff
2014-08-01
Clifford Wolf
Consolidated hana test benches into fewer files
tree
|
commitdiff
2014-08-01
Clifford Wolf
Added "test_autotb -n <num_iter>" option
tree
|
commitdiff
2014-07-30
Clifford Wolf
Added "make -j{N}" support to "make test"
tree
|
commitdiff
2014-07-29
Clifford Wolf
Renamed "write_autotest" to "test_autotb" and moved...
tree
|
commitdiff
2014-07-28
Clifford Wolf
Added support for "upto" wires to Verilog front- and...
tree
|
commitdiff
2014-07-28
Clifford Wolf
Improvements in tests/vloghtb
tree
|
commitdiff
2014-07-27
Clifford Wolf
Added techmap -extern
tree
|
commitdiff
2014-07-26
Clifford Wolf
Added tests/various/.gitignore
tree
|
commitdiff
2014-07-26
Clifford Wolf
Added tests/various/submod_extract.ys
tree
|
commitdiff
2014-07-26
Clifford Wolf
Use "wget -N" in tests/vloghtb/run-test.sh
tree
|
commitdiff
2014-07-25
Clifford Wolf
Renamed some of the test cases in tests/simple to avoid...
tree
|
commitdiff
2014-07-21
Clifford Wolf
Use "opt -fine" in test/vloght/test_mapopt.sh
tree
|
commitdiff
2014-07-21
Clifford Wolf
Added "opt_const -fine" and "opt_reduce -fine"
tree
|
commitdiff
2014-07-21
Clifford Wolf
Various improvements in test/vloghtb
tree
|
commitdiff
2014-07-21
Clifford Wolf
Wider range of cell types supported in "share" pass
tree
|
commitdiff
2014-07-20
Clifford Wolf
Added yet another resource sharing test case
tree
|
commitdiff
2014-07-20
Clifford Wolf
Supercell creation for $div/$mod worked all along,...
tree
|
commitdiff
2014-07-20
Clifford Wolf
Improved tests/share/generate.py
tree
|
commitdiff
2014-07-20
Clifford Wolf
Small fix in tests/vloghtb/run-test.sh
tree
|
commitdiff
2014-07-20
Clifford Wolf
Added "miter -equiv -flatten"
tree
|
commitdiff
2014-07-20
Clifford Wolf
Added tests/vloghtb/test_share.sh
tree
|
commitdiff
2014-07-20
Clifford Wolf
Added tests/share for testing "share" supercell creation
tree
|
commitdiff
2014-07-20
Clifford Wolf
Added tests/vloghtb
tree
|
commitdiff
2014-07-19
Clifford Wolf
Added SAT-based write-port sharing to memory_share
tree
|
commitdiff
2014-07-19
Clifford Wolf
Fixed bug in memory_share feedback-to-en code
tree
|
commitdiff
2014-07-18
Clifford Wolf
Added translation from read-feedback to en-signals...
tree
|
commitdiff
2014-07-18
Clifford Wolf
Bugfix in tests/memories/run-test.sh
tree
|
commitdiff
2014-07-18
Clifford Wolf
added tests/memories
tree
|
commitdiff
2014-07-17
Clifford Wolf
Also simulate unmapped memories in "make test"
tree
|
commitdiff
2014-07-17
Clifford Wolf
Implemented dynamic bit-/part-select for memory writes
tree
|
commitdiff
2014-07-17
Clifford Wolf
Added support for bit/part select to mem2reg rewriter
tree
|
commitdiff
2014-07-17
Clifford Wolf
Added support for constant bit- or part-select for...
tree
|
commitdiff
2014-07-16
Clifford Wolf
Merged new $mem/$memwr WR_EN interface
tree
|
commitdiff
2014-07-16
Clifford Wolf
Changed tests/techmap/mem_simple_4x1_map for new $mem...
tree
|
commitdiff
2014-07-16
Clifford Wolf
Added note to "make test": use git checkout of iverilog
tree
|
commitdiff
2014-07-05
Clifford Wolf
now ignore init attributes on non-register wires in...
tree
|
commitdiff
2014-07-02
Clifford Wolf
fixed parsing of constant with comment between size...
tree
|
commitdiff
2014-06-25
Clifford Wolf
Fixed handling of mixed real/int ternary expressions
tree
|
commitdiff
2014-06-21
Clifford Wolf
Little steps in realmath test bench
tree
|
commitdiff
2014-06-17
Clifford Wolf
Added test case for AstNode::MEM2REG_FL_CMPLX_LHS
tree
|
commitdiff
2014-06-17
Clifford Wolf
Improved handling of relational op of real values
tree
|
commitdiff
2014-06-16
Clifford Wolf
Little steps in realmath test bench
tree
|
commitdiff
2014-06-15
Clifford Wolf
Removed long running tests from tests/simple/realexpr...
tree
|
commitdiff
2014-06-15
Clifford Wolf
Added tests/realmath to "make test"
tree
|
commitdiff
2014-06-15
Clifford Wolf
Improved realmath test bench
tree
|
commitdiff
2014-06-14
Clifford Wolf
improved realmath test bench
tree
|
commitdiff
2014-06-14
Clifford Wolf
progress in realmath test bench
tree
|
commitdiff
2014-06-14
Clifford Wolf
added first draft of real math testcase generator
tree
|
commitdiff
2014-06-14
Clifford Wolf
Added support for math functions
tree
|
commitdiff
2014-06-14
Clifford Wolf
Added realexpr.v test case
tree
|
commitdiff
2014-06-12
Clifford Wolf
Added read_verilog -sv options, added support for bit...
tree
|
commitdiff
2014-06-07
Clifford Wolf
added tests for new verilog features
tree
|
commitdiff
2014-06-06
Clifford Wolf
Added tests/simple/repwhile.v
tree
|
commitdiff
2014-03-17
Clifford Wolf
Progress in Verific bindings
tree
|
commitdiff
2014-03-14
Clifford Wolf
Progress in Verific bindings
tree
|
commitdiff
2014-03-11
Siesh1oo
Rebase to cliffordwolf repo HEAD finished.
tree
|
commitdiff
2014-03-11
Clifford Wolf
Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh
tree
|
commitdiff
2014-03-11
Clifford Wolf
Use "verilog -noattr" in tests/techmap/mem_simple_4x1...
tree
|
commitdiff
2014-02-21
Clifford Wolf
Use private namespace in mem_simple_4x1_map
tree
|
commitdiff
2014-02-21
Clifford Wolf
Added tests/techmap/mem_simple_4x1
tree
|
commitdiff
2014-02-19
Clifford Wolf
Added vcd2txt.pl and txt2tikztiming.py (tests/tools...
tree
|
commitdiff
2014-02-15
Clifford Wolf
Added frontend (-f) option to autotest.sh
tree
|
commitdiff
2014-02-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-02-13
Clifford Wolf
Updated ABC and some related changes
tree
|
commitdiff
2014-02-12
Clifford Wolf
Merge pull request #26 from ahmedirfan1983/btor
tree
|
commitdiff
2014-02-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-02-12
Clifford Wolf
Disabled "abc -dff" in "make test" for now (waiting...
tree
|
commitdiff
2014-02-08
Clifford Wolf
Added test cases for expose -evert-dff
tree
|
commitdiff
2014-02-07
Clifford Wolf
Added splice command
tree
|
commitdiff
2014-02-06
Clifford Wolf
Added counters sat test case
tree
|
commitdiff
2014-02-05
Clifford Wolf
Removed old unused files from tests/
tree
|
commitdiff
2014-02-04
Clifford Wolf
Added test cases for sat command
tree
|
commitdiff
2014-02-03
Clifford Wolf
Added TRANSPARENT parameter to $memrd (and RD_TRANSPARE...
tree
|
commitdiff
2014-02-03
Clifford Wolf
Replaced isim with xsim in tests/tools/autotest.sh...
tree
|
commitdiff
2014-01-30
Clifford Wolf
Bugfix in name resolution with generate blocks
tree
|
commitdiff
2014-01-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2014-01-02
Clifford Wolf
Added correct handling of $memwr priority
tree
|
commitdiff
2014-01-02
Clifford Wolf
Added autotest.sh -p option
tree
|
commitdiff
2013-12-31
Clifford Wolf
Use "abc -dff" in "make test"
tree
|
commitdiff
2013-12-31
Clifford Wolf
Fixed commented out techmap call in tests/tools/autotest.sh
tree
|
commitdiff
2013-12-27
Clifford Wolf
Added proper === and !== support in constant expressions
tree
|
commitdiff
2013-12-18
Clifford Wolf
Added multiplier test case from eda playground
tree
|
commitdiff
2013-12-18
Clifford Wolf
Added elsif preproc support
tree
|
commitdiff
2013-12-18
Clifford Wolf
Added support for macro arguments
tree
|
commitdiff
2013-12-04
Clifford Wolf
Various improvements in support for generate statements
tree
|
commitdiff
2013-12-04
Clifford Wolf
Replaced RTLIL::Const::str with generic decoder method
tree
|
commitdiff
2013-12-04
Clifford Wolf
Fix in sincos testbench gen
tree
|
commitdiff
2013-12-04
Clifford Wolf
Added sincos test case
tree
|
commitdiff
next