1
0
mirror of synced 2026-03-27 02:34:14 +00:00

Commit Graph

  • d176e613c2 Minor fixes in handling of "init" attribute Clifford Wolf 2015-04-09 15:12:26 +02:00
  • 229825e1b8 Xilinx DRAMS: RAM64X1D, RAM128X1D Clifford Wolf 2015-04-09 13:37:07 +02:00
  • 25781e329b Fixed const2big performance bug Clifford Wolf 2015-04-09 13:20:19 +02:00
  • be7b9b34ca techmap code cleanup Clifford Wolf 2015-04-09 12:02:26 +02:00
  • b00cad81d7 Towards DRAM support in Xilinx flow Clifford Wolf 2015-04-09 08:17:14 +02:00
  • 21a1cc1b60 Added support for "file names with blanks" Clifford Wolf 2015-04-08 12:14:34 +02:00
  • aa0ab975b9 Removed "techmap -share_map" (use "-map +/filename" instead) Clifford Wolf 2015-04-08 12:13:53 +02:00
  • 8eadd8fb18 Added %M and %C select operators Clifford Wolf 2015-04-07 22:22:09 +02:00
  • 724cead61d Added "pmuxtree" command Clifford Wolf 2015-04-07 20:27:10 +02:00
  • 1f33b2a490 Added "chparam -list" Clifford Wolf 2015-04-07 19:21:30 +02:00
  • 590f74d8f0 Added decoder generation to "muxcover" Clifford Wolf 2015-04-07 18:03:27 +02:00
  • aae5f2ca08 Added hashlib support for std::tuple<> Clifford Wolf 2015-04-07 17:23:30 +02:00
  • f7fb21f185 Added "muxcover" command Clifford Wolf 2015-04-07 15:42:25 +02:00
  • b31e77fd06 Added pool<K>::pop() Clifford Wolf 2015-04-07 15:07:01 +02:00
  • c1af590f4e typo fix Clifford Wolf 2015-04-07 07:43:01 +02:00
  • 329b841aac Added "chparam" command Clifford Wolf 2015-04-07 07:30:14 +02:00
  • 8520b7fbe0 Added support for initialized xilinx brams Clifford Wolf 2015-04-06 17:07:10 +02:00
  • 169d1c4711 Added support for initialized brams Clifford Wolf 2015-04-06 17:06:15 +02:00
  • d19866615b Added Xilinx test case for initialized brams Clifford Wolf 2015-04-06 13:03:37 +02:00
  • 4389d9306e Added Xilinx bram black-box modules Clifford Wolf 2015-04-06 08:44:30 +02:00
  • c0e2b3eb11 Added "port_directions" to write_json output Clifford Wolf 2015-04-06 01:49:58 +02:00
  • a1c62b79d5 Avoid parameter values with size 0 ($mem cells) Clifford Wolf 2015-04-05 18:04:19 +02:00
  • 95944eb69e make all vector-size related integer params in $mem sim model signed Clifford Wolf 2015-04-05 17:26:53 +02:00
  • 706631225e Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types Clifford Wolf 2015-04-05 09:45:14 +02:00
  • c52a4cdeed Added "dffinit", Support for initialized Xilinx DFF Clifford Wolf 2015-04-04 19:00:15 +02:00
  • b0c0ede879 Added "init" attribute support to verilog backend Clifford Wolf 2015-04-04 18:06:52 +02:00
  • 0737bf5fb8 appnote 012 fix Clifford Wolf 2015-04-04 15:13:35 +02:00
  • 1d5d1f79f9 Appnote 012 Clifford Wolf 2015-04-04 13:48:13 +02:00
  • 082550f1f3 Updated ABC to 51705b168d7a Clifford Wolf 2015-04-04 11:47:59 +02:00
  • 3b6ebb62fc Merge pull request #55 from ahmedirfan1983/master Clifford Wolf 2015-04-04 09:35:21 +02:00
  • 13e2e71ebe Update README Ahmed Irfan 2015-04-03 17:11:45 +02:00
  • ed750f0a55 Delete btor.ys Ahmed Irfan 2015-04-03 16:45:54 +02:00
  • e82e4f7df4 Update README Ahmed Irfan 2015-04-03 16:45:14 +02:00
  • ea2e0297d5 separated memory next from write cell Ahmed Irfan 2015-04-03 16:41:50 +02:00
  • bdf6b2b19a Merge branch 'master' of https://github.com/cliffordwolf/yosys Ahmed Irfan 2015-04-03 16:38:07 +02:00
  • 8acdd90bc9 Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor Ahmed Irfan 2015-04-03 16:34:05 +02:00
  • 7ad179151b appnote for verilog to btor Ahmed Irfan 2015-04-03 16:20:29 +02:00
  • 4b44907619 documentation improvements Clifford Wolf 2015-03-29 20:22:08 +02:00
  • a923a63a89 Ignore celldefine directive in verilog front-end Clifford Wolf 2015-03-25 19:46:12 +01:00
  • e468d4cc60 Fixes in cmos_cells.v Clifford Wolf 2015-03-25 09:00:41 +01:00
  • 68bbb15214 Fixed detection of absolute paths in ABC for win32 Clifford Wolf 2015-03-22 11:03:56 +01:00
  • 611cd010ae Added blif reference to appnote 010 Clifford Wolf 2015-03-22 09:49:46 +01:00
  • 6f8547bfc6 Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2015-03-20 09:10:16 +01:00
  • 604c097f98 fix for python 2.6.6 Clifford Wolf 2015-03-20 09:10:02 +01:00
  • 8b1e0bdd9e Fixed handling of quotes in liberty parser Clifford Wolf 2015-03-18 16:03:19 +01:00
  • aed4d763cf Added hierarchy -auto-top Clifford Wolf 2015-03-18 08:33:40 +01:00
  • 67e6dcd34a Added Verilog backend $dffsr support Clifford Wolf 2015-03-18 08:01:37 +01:00
  • 6c8fdb1829 Documentation for JSON format, added attributes Clifford Wolf 2015-03-06 10:21:21 +01:00
  • 42d5d94a5d Added very first version of "synth_ice40" Clifford Wolf 2015-03-05 20:37:55 +01:00
  • ed15400fc6 Fixed bug in "hierarchy" for parametric designs Clifford Wolf 2015-03-04 15:52:34 +01:00
  • adc12ce46e Json bugfix Clifford Wolf 2015-03-03 09:41:41 +01:00
  • 4fc63f27a1 Json backend improvements Clifford Wolf 2015-03-03 09:28:44 +01:00
  • 795a6e1d04 Added write_blif -attr Clifford Wolf 2015-03-02 23:47:45 +01:00
  • 8b488983d0 Added JSON backend Clifford Wolf 2015-03-02 23:30:58 +01:00
  • 422794c584 Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker() Clifford Wolf 2015-03-01 11:20:22 +01:00
  • 5d4f513c3b Added $assume support to write_smt2 Clifford Wolf 2015-02-26 19:02:55 +01:00
  • 1f1deda888 Added non-std verilog assume() statement Clifford Wolf 2015-02-26 18:47:39 +01:00
  • b005eedf36 Added $assume cell type Clifford Wolf 2015-02-26 18:04:10 +01:00
  • 27a918eadf Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2015-02-25 23:01:54 +01:00
  • 331f8b8d0b Bugfix in iopadmap Clifford Wolf 2015-02-25 23:01:42 +01:00
  • 3fe18c26cd Added "keep_hierarchy" attribute Clifford Wolf 2015-02-25 12:46:00 +01:00
  • 9ae21263f0 Some cleanups in "clean" Clifford Wolf 2015-02-24 22:31:30 +01:00
  • 81fa4e81a6 Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. (original patch by Andrew Becker <andrew.becker@epfl.ch>) Clifford Wolf 2015-02-24 11:01:00 +01:00
  • ff3f2448b1 Minor "write_smt2" help msg change Clifford Wolf 2015-02-22 16:30:02 +01:00
  • c4f383e452 Fixed "check -assert" Clifford Wolf 2015-02-22 16:29:44 +01:00
  • 4b89dd983c Added "<mod>_a" and "<mod>_i" to write_smt2 output Clifford Wolf 2015-02-22 16:19:10 +01:00
  • d361d313e1 Added "check -assert" doc Clifford Wolf 2015-02-22 13:02:48 +01:00
  • e8307cefd9 Added "check -assert" Clifford Wolf 2015-02-22 13:00:41 +01:00
  • 39d25b212c Fixed "sat -initsteps" off-by-one bug Clifford Wolf 2015-02-22 12:42:05 +01:00
  • fae0e75ace Added "sat -stepsize" and "sat -tempinduct-step" Clifford Wolf 2015-02-21 22:52:49 +01:00
  • b19c926af8 sat docu change Clifford Wolf 2015-02-21 22:03:54 +01:00
  • 9237fb924e When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing. Clifford Wolf 2015-02-21 20:05:16 +01:00
  • 1688b9b464 Added "sat -tempinduct-baseonly -tempinduct-inductonly" Clifford Wolf 2015-02-21 17:53:22 +01:00
  • dcbd00c101 Fixed basecase init for "sat -tempinduct" Clifford Wolf 2015-02-21 17:43:49 +01:00
  • 49dd9c713f Fixed "flatten" for non-pre-derived modules Clifford Wolf 2015-02-21 15:01:13 +01:00
  • 1f6737f08f Hotfix for yosysjs/demo03.html Clifford Wolf 2015-02-21 14:31:02 +01:00
  • 1fe15a5973 YosysJS: Wait for Viz to load Clifford Wolf 2015-02-21 14:25:34 +01:00
  • 4e6ca7760f Replaced ezDefaultSAT with ezSatPtr Clifford Wolf 2015-02-21 12:15:41 +01:00
  • f778a4081c Catch constants assigned to cell outputs in "flatten" Clifford Wolf 2015-02-21 11:21:28 +01:00
  • d5ce9a32ef Added deep recursion warning to AST simplify Clifford Wolf 2015-02-20 10:33:20 +01:00
  • dc1a0f06fc Parser support for complex delay expressions Clifford Wolf 2015-02-20 10:21:36 +01:00
  • 78b991d760 YosysJS firefox fixes Clifford Wolf 2015-02-19 13:55:36 +01:00
  • e0e6d130cd YosysJS stuff Clifford Wolf 2015-02-19 13:36:54 +01:00
  • 08c0fe164f format fixes in "sat -dump_json" Clifford Wolf 2015-02-19 13:19:04 +01:00
  • 1ecee6c49c Added "sat -dump_json" (WaveJSON format) Clifford Wolf 2015-02-19 10:53:40 +01:00
  • 20eb5cad4b Changed "show" defaults for Win32 Clifford Wolf 2015-02-19 09:11:38 +01:00
  • c2ba4fb2fd Convert floating point cell parameters to strings Clifford Wolf 2015-02-18 23:35:23 +01:00
  • f41378af8c Fixed clang (svn trunk) warnings Clifford Wolf 2015-02-18 14:54:22 +01:00
  • e4cf604ffd Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2015-02-18 07:19:03 +01:00
  • 5f54be54b8 Added "select %xe %cie %coe" Clifford Wolf 2015-02-18 07:18:34 +01:00
  • 024aa559e2 wreduce help typo fix Clifford Wolf 2015-02-17 13:02:16 +01:00
  • 138547f41b CodingReadme Clifford Wolf 2015-02-17 13:01:01 +01:00
  • 4c22195c38 YosysJS fixes for firefox Clifford Wolf 2015-02-16 14:10:00 +01:00
  • 3e5e9a3889 More YosysJS stuff Clifford Wolf 2015-02-16 13:23:54 +01:00
  • 33e80b96c7 Added YosysJS wrapper Clifford Wolf 2015-02-16 12:41:48 +01:00
  • 0748ef638d Bugfix in wreduce Clifford Wolf 2015-02-16 09:08:00 +01:00
  • 162432a722 More yosys.js improvements Clifford Wolf 2015-02-16 00:11:22 +01:00
  • 0283703f9e Added Viz to yosys.js Clifford Wolf 2015-02-15 22:53:41 +01:00
  • 549d56bd21 Added yosys.js FS support Clifford Wolf 2015-02-15 18:10:54 +01:00
  • 8d45f81046 More emcc stuff Clifford Wolf 2015-02-15 17:14:09 +01:00