1
0
mirror of synced 2026-03-14 06:17:47 +00:00

Commit Graph

  • 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
  • 5af7f4db72 Added support for "show -pause" and "show -format dot" Clifford Wolf 2013-11-28 13:35:28 +01:00
  • 143a58bccc Added QGraphicsWebView to yosys-svgviewer Clifford Wolf 2013-11-28 11:57:25 +01:00
  • 1268182f0b Updated ABC to 9241719523f6 Clifford Wolf 2013-11-28 00:43:17 +01:00
  • 9826f6ae02 Added some svgviewer code for possible future switch to QGraphicsWebView Clifford Wolf 2013-11-27 20:43:42 +01:00
  • 18e52d81bf Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2013-11-27 09:08:42 +01:00
  • 38e7fa6530 Tighter integration of ABC build Clifford Wolf 2013-11-27 09:08:35 +01:00
  • 0256105ac2 Set version number to 0.1.0+ Clifford Wolf 2013-11-27 06:29:13 +01:00
  • bc3cc88719 Started implementing undef support in "sat" command Clifford Wolf 2013-11-25 21:40:00 +01:00
  • 3d95047ce2 Bugfixes in new "stat" command Clifford Wolf 2013-11-25 21:08:34 +01:00
  • 4c7d6e63ec Added "stat" command Clifford Wolf 2013-11-25 20:43:57 +01:00
  • 61412d167f Improvements in satgen undef handling Clifford Wolf 2013-11-25 16:50:45 +01:00
  • bd65e67d8a Improvements in satgen undef handling Clifford Wolf 2013-11-25 15:12:01 +01:00
  • 11e8118589 Added ezsat vec_const() api Clifford Wolf 2013-11-25 15:10:32 +01:00
  • 8c3f4b3957 Started implementing undef handling in satgen Clifford Wolf 2013-11-25 04:51:33 +01:00
  • 4d43331748 Removed undef feature from ezsat api Clifford Wolf 2013-11-25 02:50:34 +01:00
  • 76f7c10cfc Using simplemap mappers from techmap Clifford Wolf 2013-11-24 23:31:14 +01:00
  • 3ee33cbdaf Added simplemap pass Clifford Wolf 2013-11-24 22:52:30 +01:00
  • 1afe6589df Renamed stdcells_sim.v to simcells.v and fixed blackbox.v Clifford Wolf 2013-11-24 20:44:00 +01:00
  • 8dafecd34d Added module->avail_parameters (for advanced techmap features) Clifford Wolf 2013-11-24 20:29:07 +01:00
  • 4011d47646 Added techmap -D and -I options Clifford Wolf 2013-11-24 20:04:48 +01:00
  • 7d9a90396d Added verilog frontend -ignore_redef option Clifford Wolf 2013-11-24 19:57:42 +01:00
  • 20175afd29 Added "techmap -share_map" option Clifford Wolf 2013-11-24 19:50:25 +01:00
  • 019b301541 Early wire/reg/parameter width calculation in ast/simplify Clifford Wolf 2013-11-24 19:40:23 +01:00
  • 620b7c900a Updated TODOs Clifford Wolf 2013-11-24 17:58:05 +01:00
  • ae798d3fd5 Fixed xilinx/example_sim_counter test bench Clifford Wolf 2013-11-24 17:55:46 +01:00
  • 41205afc39 Added proper dumping of signed/unsigned parameters to verilog backend Clifford Wolf 2013-11-24 17:47:22 +01:00
  • 0ef22c7609 Added support for signed parameters in ilang Clifford Wolf 2013-11-24 17:37:27 +01:00
  • 7eaad2218d Removed now obsolete test cases Clifford Wolf 2013-11-24 17:30:04 +01:00
  • f71e27dbf1 Remove auto_wire framework (smarter than the verilog standard) Clifford Wolf 2013-11-24 17:29:11 +01:00
  • 609caa23b5 Implemented correct handling of signed module parameters Clifford Wolf 2013-11-24 17:17:21 +01:00