Johann Glaser
|
34eb77d2bf
|
new %s: add sub-modules to selection
|
2014-02-06 17:36:39 +01:00 |
|
Clifford Wolf
|
d4b0f28881
|
Added support for sat -show @<sel_name>
|
2014-02-06 17:32:51 +01:00 |
|
Clifford Wolf
|
b1a12c5f37
|
Added sat -set-init-def and sat -tempinduct-def
|
2014-02-06 16:15:23 +01:00 |
|
Clifford Wolf
|
594d52e0b6
|
Added opt_const -undriven
|
2014-02-06 15:49:03 +01:00 |
|
Clifford Wolf
|
c526e56747
|
Added expose -dff
|
2014-02-06 15:48:42 +01:00 |
|
Clifford Wolf
|
1c6dea3a0d
|
Added support for #-comments in same line as command
|
2014-02-06 14:26:39 +01:00 |
|
Clifford Wolf
|
821156b6cf
|
presentation progress
|
2014-02-06 14:01:43 +01:00 |
|
Clifford Wolf
|
c13c5b9b7b
|
Changed techmap description from "simple" to "generic"
|
2014-02-06 13:10:06 +01:00 |
|
Clifford Wolf
|
eb8fd4a163
|
Added miter -make_outcmp
|
2014-02-06 02:20:55 +01:00 |
|
Clifford Wolf
|
80a1cdb0e2
|
Added sat -set-init-zero support
|
2014-02-06 01:40:01 +01:00 |
|
Clifford Wolf
|
19029f377b
|
Added support for backslash continuation in script files
|
2014-02-06 01:28:33 +01:00 |
|
Clifford Wolf
|
849fd62cfe
|
Added counters sat test case
|
2014-02-06 01:00:56 +01:00 |
|
Clifford Wolf
|
e915043144
|
Added sat -verify and -falsify support for non-prove cases
|
2014-02-06 00:59:41 +01:00 |
|
Clifford Wolf
|
cd06055e77
|
Added expose command
|
2014-02-05 23:59:55 +01:00 |
|
Clifford Wolf
|
7e9ba60df8
|
presentation progress
|
2014-02-05 20:06:34 +01:00 |
|
Clifford Wolf
|
dbfcc2f4e2
|
Simplified select "Assertation failed" message generation
|
2014-02-05 18:52:55 +01:00 |
|
Clifford Wolf
|
94b802c65d
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
2014-02-05 18:46:47 +01:00 |
|
Clifford Wolf
|
7ea97a0471
|
Merge pull request #22 from hansiglaser/master
Little improvements for "select"
|
2014-02-05 18:46:36 +01:00 |
|
Clifford Wolf
|
583636f0ad
|
Added BTOR backend README file
|
2014-02-05 18:31:10 +01:00 |
|
Clifford Wolf
|
f6e6e9b844
|
Added selection support for r: and selection with relational operators
|
2014-02-05 18:24:45 +01:00 |
|
Johann Glaser
|
3c0b5139a1
|
be more verbose for select -assert-any and -assert-none
|
2014-02-05 16:03:02 +01:00 |
|
Johann Glaser
|
667543de0b
|
improved help for "select"
|
2014-02-05 15:53:02 +01:00 |
|
Clifford Wolf
|
3b5c462273
|
presentation progress
|
2014-02-05 15:06:13 +01:00 |
|
Clifford Wolf
|
9f6364c1c4
|
presentation progress
|
2014-02-05 13:12:50 +01:00 |
|
Clifford Wolf
|
aa8e754ae5
|
Added read_verilog -setattr
|
2014-02-05 11:22:10 +01:00 |
|
Clifford Wolf
|
5bf33de24a
|
Added setattr and setparam commands
|
2014-02-05 11:11:55 +01:00 |
|
Clifford Wolf
|
078cecf9ea
|
Updated todo items in README file
|
2014-02-05 01:59:30 +01:00 |
|
Clifford Wolf
|
aa9da46807
|
Removed old unused files from tests/
|
2014-02-05 01:55:39 +01:00 |
|
Clifford Wolf
|
968ae31cac
|
Added support for dump -append
|
2014-02-04 23:45:30 +01:00 |
|
Clifford Wolf
|
1fb8ba73bd
|
Throw errors if non-existing selection variables are used
|
2014-02-04 23:31:06 +01:00 |
|
Clifford Wolf
|
b1bf55dd63
|
Added select -none
|
2014-02-04 23:23:44 +01:00 |
|
Clifford Wolf
|
e0c867db53
|
presentation progress
|
2014-02-04 23:00:48 +01:00 |
|
Clifford Wolf
|
99b9c56da1
|
Fixed detection of init attribute in opt_rmdff
|
2014-02-04 23:00:32 +01:00 |
|
Clifford Wolf
|
69e867f3e8
|
Added support for inline commands to abc -script
|
2014-02-04 22:01:53 +01:00 |
|
Clifford Wolf
|
03d63dd861
|
presentation progress
|
2014-02-04 16:51:12 +01:00 |
|
Clifford Wolf
|
7a5f378bae
|
Added hierarchy -purge_lib option
|
2014-02-04 16:50:13 +01:00 |
|
Clifford Wolf
|
7a66b38c3e
|
Added test cases for sat command
|
2014-02-04 13:43:34 +01:00 |
|
Clifford Wolf
|
6891fd79a3
|
added sat -falsify
|
2014-02-04 13:34:37 +01:00 |
|
Clifford Wolf
|
d267bcde4e
|
Fixed bug in sequential sat proofs and improved handling of asserts
|
2014-02-04 12:46:16 +01:00 |
|
Clifford Wolf
|
ecdf1f5577
|
Improved handling of reg init in opt_share and opt_rmdff
|
2014-02-04 12:02:47 +01:00 |
|
Clifford Wolf
|
9e938aa32a
|
presentation progress
|
2014-02-04 00:57:11 +01:00 |
|
Clifford Wolf
|
6c3d767976
|
presentation progress
|
2014-02-03 16:26:27 +01:00 |
|
Clifford Wolf
|
9e35021585
|
Addred sat option -ignore_unknown_cells
|
2014-02-03 16:26:10 +01:00 |
|
Clifford Wolf
|
a6750b3753
|
Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)
|
2014-02-03 13:01:45 +01:00 |
|
Clifford Wolf
|
de9226a64f
|
Replaced isim with xsim in tests/tools/autotest.sh, removed xst support
|
2014-02-03 13:00:55 +01:00 |
|
Clifford Wolf
|
de336d93b2
|
More opt_const -mux_bool features
|
2014-02-02 22:41:24 +01:00 |
|
Clifford Wolf
|
982c9da011
|
presentation progress
|
2014-02-02 22:26:26 +01:00 |
|
Clifford Wolf
|
9d0b69edaa
|
Added opt_const -mux_bool
|
2014-02-02 22:11:08 +01:00 |
|
Clifford Wolf
|
bee4450c4c
|
Added support for inverter chains to opt_const
|
2014-02-02 21:46:42 +01:00 |
|
Clifford Wolf
|
f9c4d33909
|
Added RTLIL::SigSpec::to_single_sigbit()
|
2014-02-02 21:35:26 +01:00 |
|