yosys

stv0g/yosys

Fork 0

Commit graph

67d155078d More freduce cleanups and bugfixes Clifford Wolf 2014-01-03 02:44:05 +01:00
eec2cd1e78 Added RTLIL::SigSpec::optimized() API Clifford Wolf 2014-01-03 02:43:31 +01:00
fb2bf934dc Added correct handling of $memwr priority Clifford Wolf 2014-01-03 00:22:17 +01:00
536e20bde1 Fixed more complex undef cases in freduce Clifford Wolf 2014-01-02 23:40:20 +01:00
5a0f561d9c Now */ is optional in */<mode>:<arg> selections Clifford Wolf 2014-01-02 20:35:37 +01:00
456ae31a8a Added "rename -hide" command Clifford Wolf 2014-01-02 20:23:34 +01:00
1f80557ade Added SAT undef model for $pmux and $safe_pmux Clifford Wolf 2014-01-02 19:58:59 +01:00
0759c97748 More "freduce" related fixes and improvements Clifford Wolf 2014-01-02 19:37:34 +01:00
ced4d7b321 Added support for module->connections to select %ci, %co and %x handling Clifford Wolf 2014-01-02 18:44:24 +01:00
c6b33f81eb Some cleanups in freduce -inv mode (and switched from -noinv to -inv) Clifford Wolf 2014-01-02 18:11:01 +01:00
6dec0e0b3e Added autotest.sh -p option Clifford Wolf 2014-01-02 17:51:30 +01:00
249ef8695a Major rewrite of "freduce" command Clifford Wolf 2014-01-02 16:52:33 +01:00
e501b8e5c7 Updated CHANGELOG Clifford Wolf 2014-01-01 18:55:21 +01:00
e09ebf475c Fixed use of limited length buffer in ABC blif parser Clifford Wolf 2013-12-31 21:58:35 +01:00
ab3f6266ad Use "abc -dff" in "make test" Clifford Wolf 2013-12-31 21:25:34 +01:00
4892a3ce6d Added abc -dff and -clk support Clifford Wolf 2013-12-31 21:25:09 +01:00
b3b00f1bf4 Various small cleanups in stdcells.v techmap code Clifford Wolf 2013-12-31 15:41:40 +01:00
15acf593e7 Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint Clifford Wolf 2013-12-31 14:54:06 +01:00
1cd975ef8d Updated ABC to hg rev 57517e81666b Clifford Wolf 2013-12-31 14:39:02 +01:00
be5dab87fd Now using BLIF as ABC input format Clifford Wolf 2013-12-31 14:29:29 +01:00
a582b9d184 Fixed commented out techmap call in tests/tools/autotest.sh Clifford Wolf 2013-12-31 13:51:25 +01:00
c616802ac7 Always use BLIF as ABC output format Clifford Wolf 2013-12-31 13:41:16 +01:00
364f277afb Fixed a stupid access after delete bug Clifford Wolf 2013-12-29 20:18:22 +01:00
bf607df6d5 Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen) Clifford Wolf 2013-12-29 17:39:49 +01:00
74d0de3b74 Updated manual/command-reference-manual.tex Clifford Wolf 2013-12-28 12:14:47 +01:00
fe8ec32a1c Added new cell types to manual Clifford Wolf 2013-12-28 12:10:32 +01:00
c69c416d28 Added $bu0 cell (for easy correct $eq/$ne mapping) Clifford Wolf 2013-12-28 11:54:40 +01:00
7f71787599 Added sat -prove-x and -set-def-inputs Clifford Wolf 2013-12-28 11:24:36 +01:00
bd39263796 Improved $_MUX_ handling in opt_const Clifford Wolf 2013-12-28 10:30:31 +01:00
d81e3ed3ae More conservastive $eq/$ne/$eqx/$nex opt_const code Clifford Wolf 2013-12-28 10:29:22 +01:00
122b3c067b Fixed sat handling of $eqx and $nex with unequal port widths Clifford Wolf 2013-12-27 18:11:05 +01:00
1dcbba1abf Fixed parsing of non-arg macro calls followed by "(" Clifford Wolf 2013-12-27 16:25:27 +01:00
0f5ab7649e Small cleanup in SatGen Clifford Wolf 2013-12-27 15:15:20 +01:00
c9699fe76d More $eq/$ne/$eqx/$nex fixes in opt_const Clifford Wolf 2013-12-27 15:10:07 +01:00
72026a934e Fixed parsing of macros with no arguments and expansion text starting with "(" Clifford Wolf 2013-12-27 15:05:52 +01:00
ebf9abfeb6 Fixed sat handling of $eqx and $nex cells Clifford Wolf 2013-12-27 14:32:42 +01:00
7b02a44efb Fixed/improved opt_const $eq/$ne/$eqx/$nex handling Clifford Wolf 2013-12-27 14:21:24 +01:00
369bf81a70 Added support for non-const === and !== (for miter circuits) Clifford Wolf 2013-12-27 14:20:15 +01:00
ecc30255ba Added proper === and !== support in constant expressions Clifford Wolf 2013-12-27 13:50:08 +01:00
11ffa78677 Added sat -set-def/-set-*-undef support Clifford Wolf 2013-12-27 13:27:21 +01:00
fb31d10236 Renamed sat -set-undef to -set-any-undef Clifford Wolf 2013-12-27 13:02:46 +01:00
334b0cc803 Fixed dfflibmap for unused output ports Clifford Wolf 2013-12-21 20:47:22 +01:00
8856cec308 Now prefer smallest cells in dfflibmap Clifford Wolf 2013-12-21 08:42:37 +01:00
1fb29050e5 Cleanup of dfflibmap cellmap exploration code Clifford Wolf 2013-12-20 14:21:18 +01:00
eaf7d9675d Further improved dfflibmap cellmap exploration Clifford Wolf 2013-12-20 12:34:34 +01:00
404bcc2d1e Fixed dfflibmap endless-loop bug Clifford Wolf 2013-12-20 12:13:51 +01:00
2ee3ac4ba3 Added log_dump() API Clifford Wolf 2013-12-20 12:11:58 +01:00
c904f5e197 Prefer non-inverted clocks in dfflibmap Clifford Wolf 2013-12-19 13:21:57 +01:00
994c83db01 Added multiplier test case from eda playground Clifford Wolf 2013-12-18 13:43:53 +01:00
fbd06a1afc Added elsif preproc support Clifford Wolf 2013-12-18 13:41:36 +01:00
921064c200 Added support for macro arguments Clifford Wolf 2013-12-18 13:21:02 +01:00
09bd82db21 Fixes and other changes in README Clifford Wolf 2013-12-08 15:42:27 +01:00
6069715c9e Finished AppNote 011 Clifford Wolf 2013-12-08 15:12:32 +01:00
0bd08688b8 Progress on AppNote 011 Clifford Wolf 2013-12-08 15:08:51 +01:00
2b90ba1e96 Added sat -max_undef feature Clifford Wolf 2013-12-07 23:58:55 +01:00
1d000f9372 Progress on AppNote 011 Clifford Wolf 2013-12-07 18:03:49 +01:00
8a815ac741 Added "sat" undef support and "sat -set-init" options Clifford Wolf 2013-12-07 17:28:51 +01:00
ccf083e5b0 Fixed uninitialized const flags bug Clifford Wolf 2013-12-07 16:56:34 +01:00
5de57e9970 Fixed compiler warining in passes/sat/eval.cc Clifford Wolf 2013-12-07 16:19:24 +01:00
97aa421ad8 Progress on AppNote 011 Clifford Wolf 2013-12-07 15:11:50 +01:00
cd0324decd Progress on AppNote 011 Clifford Wolf 2013-12-07 11:58:55 +01:00
325b764341 Added eval -set-undef and eval -table Clifford Wolf 2013-12-07 11:58:22 +01:00
5d83904746 Fixes and improvements in RTLIL::SigSpec::parse Clifford Wolf 2013-12-07 11:57:29 +01:00
06d96e8fcf Fixes in fsm detect/extract for better detection of non-fsm circuits Clifford Wolf 2013-12-06 12:53:20 +01:00
8311492475 Fixed bug in example prog in appnote 011 Clifford Wolf 2013-12-05 18:15:14 +01:00
891e4b5b0d Keep strings as strings in const ternary and concat Clifford Wolf 2013-12-05 13:26:17 +01:00
e935bb6eda Added const folding support for $signed and $unsigned Clifford Wolf 2013-12-05 13:09:41 +01:00
5c39948ead Added AstNode::mkconst_str API Clifford Wolf 2013-12-05 12:53:49 +01:00
853538d78b Fixed generate-for (and disabled double warning for auto-wire) Clifford Wolf 2013-12-04 21:33:00 +01:00
3c220e0b32 Added support for $clog2 system function Clifford Wolf 2013-12-04 21:19:54 +01:00
4a4a3fc337 Various improvements in support for generate statements Clifford Wolf 2013-12-04 21:06:54 +01:00
f4b46ed31e Replaced signed_parameters API with CONST_FLAG_SIGNED Clifford Wolf 2013-12-04 14:24:44 +01:00
93a70959f3 Replaced RTLIL::Const::str with generic decoder method Clifford Wolf 2013-12-04 14:14:05 +01:00
a2d053694b Fix in sincos testbench gen Clifford Wolf 2013-12-04 09:24:52 +01:00
d1517b7982 Added sincos test case Clifford Wolf 2013-12-04 09:10:41 +01:00
507c63d112 Added support for local regs in named blocks Clifford Wolf 2013-12-04 09:10:16 +01:00
b5afd75b0a Fixed gentb_constant handling in autotest backend Clifford Wolf 2013-12-04 09:09:42 +01:00
bb20aceeb3 More ABC releated Makefile changes Clifford Wolf 2013-12-04 08:31:52 +01:00
637a12b7e3 Minor improvements in ABc build Clifford Wolf 2013-12-03 16:50:14 +01:00
0f4055d4c6 Progress on AppNote 011 Clifford Wolf 2013-12-02 12:54:21 +01:00
6e227e3666 Fixed submod for non-primitive cells Clifford Wolf 2013-12-02 12:53:55 +01:00
e881878341 Fixed submod for non-cleaned designs Clifford Wolf 2013-12-02 12:18:07 +01:00
a66ca0472a Added Pass:call_newsel API Clifford Wolf 2013-12-02 12:17:04 +01:00
905eac04f1 Added "history" command Clifford Wolf 2013-12-02 11:29:39 +01:00
97efc2ed5f A fix in memory_dff for write ports with static addresses Clifford Wolf 2013-12-01 14:08:18 +01:00
73e28f0e39 Progress on AppNote 011 Clifford Wolf 2013-12-01 14:07:44 +01:00
7295b25955 Progress on AppNote 011 Clifford Wolf 2013-11-29 16:42:49 +01:00
e23a0072ec Progress on AppNote 011 Clifford Wolf 2013-11-29 12:51:16 +01:00
1b3a60976d Using RTLIL::id2cstr for prompt printing Clifford Wolf 2013-11-29 11:55:18 +01:00
ed441346ca Added dump -m and -n options Clifford Wolf 2013-11-29 10:33:36 +01:00
f89ecbc100 Progress on AppNote 011 Clifford Wolf 2013-11-28 23:09:03 +01:00
d90ef1e143 Merge pull request #17 from mschmoelzer/master Clifford Wolf 2013-11-28 13:04:45 -08:00
10aa08dca1 Fixed temp net name generation in rtlil process generator for abbreviated name matching Clifford Wolf 2013-11-28 21:47:08 +01:00
c60aaf8fa3 Added pattern support to "ls" command Clifford Wolf 2013-11-28 21:34:41 +01:00
293356e87c Improved ID matching scheme in select (and thus for all commands) Clifford Wolf 2013-11-28 21:13:16 +01:00
792bbad448 Fixes and improvements in "show" command Clifford Wolf 2013-11-28 21:02:19 +01:00
6ad868ae25 Include unistd.h in svgview.cpp (required for getcwd() function) Martin Schmölzer 2013-11-28 18:38:40 +01:00
9595eca181 More progress on AppNote 011 Clifford Wolf 2013-11-28 17:39:16 +01:00
0e52f3fa01 Added "src" attribute to processes Clifford Wolf 2013-11-28 17:37:50 +01:00
6dfb66d262 Started writing appnote 011 Clifford Wolf 2013-11-28 13:48:38 +01:00