stv0g/yosys
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Commit graph

  • 6416dfee93 Improved inout handling in equiv_make Clifford Wolf 2015-10-21 15:42:50 +02:00
  • bbcbf739e6 Progress on cell help messages Clifford Wolf 2015-10-20 16:49:11 +02:00
  • 5d1c0ce7c0 Progress on cell help messages Clifford Wolf 2015-10-17 02:22:42 +02:00
  • 255bb914ba Progress in yosys-smtbmc Clifford Wolf 2015-10-15 15:54:59 +02:00
  • 5308c1e02a Fixed bug in verilog parser Clifford Wolf 2015-10-15 15:19:23 +02:00
  • 302166dd59 Improvements in yosys-smtbmc Clifford Wolf 2015-10-15 15:08:41 +02:00
  • 1d83854d84 Bugfixes in handling of "keep" attribute on wires Clifford Wolf 2015-10-15 14:57:28 +02:00
  • 5dd3e93e8f More "yosys-smtbmc -c" fixes Clifford Wolf 2015-10-14 23:23:25 +02:00
  • 9fd0f87059 Fixed yosys-smtbmc -c Clifford Wolf 2015-10-14 23:00:46 +02:00
  • 25c1f6e605 Added "prep" command Clifford Wolf 2015-10-14 22:46:41 +02:00
  • 87adb523aa Added more cell descriptions Clifford Wolf 2015-10-14 20:29:47 +02:00
  • 7d3a3a3173 Added first help messages for cell types Clifford Wolf 2015-10-14 16:27:42 +02:00
  • 3c31572152 Added yosys-smtbmc copyright Clifford Wolf 2015-10-14 01:31:54 +02:00
  • d7de0f4bd1 Improvements in yosys-smtbmc Clifford Wolf 2015-10-14 01:27:55 +02:00
  • 821f1b8534 Added yosys-smtbmc Clifford Wolf 2015-10-14 00:37:41 +02:00
  • 7bcd2a4bb3 Implemented smtbmc.py -i Clifford Wolf 2015-10-14 00:18:38 +02:00
  • 29160525aa Added smtbmc.py Clifford Wolf 2015-10-13 17:17:23 +02:00
  • 3a22b31bda Added write_smt2 -wires Clifford Wolf 2015-10-13 17:17:12 +02:00
  • f42218682d Added examples/ top-level directory Clifford Wolf 2015-10-13 15:40:21 +02:00
  • f13e387321 SystemVerilog also has assume(), added implicit -D FORMAL Clifford Wolf 2015-10-13 14:21:20 +02:00
  • 34f34be17c Merge branch 'master' of https://github.com/rubund/yosys Clifford Wolf 2015-10-13 11:01:19 +02:00
  • eb1e3caae7 Fixed "flatten" for unconnected inout ports Clifford Wolf 2015-10-13 10:30:23 +02:00
  • 978933704b Use DESTDIR as defined in https://www.gnu.org/prep/standards/html_node/DESTDIR.html Ruben Undheim 2015-10-11 00:56:20 +02:00
  • 2792b00792 Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment when building Ruben Undheim 2015-10-11 00:47:37 +02:00
  • ba4cce9f19 Added support for "parameter" and "localparam" in global context Clifford Wolf 2015-10-07 14:59:08 +02:00
  • e51dcc83d0 Fixed complexity of assigning to vectors in constant functions Clifford Wolf 2015-10-01 12:15:35 +02:00
  • 9caeadf797 Fixed detection of unconditional $readmem[hb] Clifford Wolf 2015-09-30 15:46:51 +02:00
  • c58bd5dc30 Added edgetypes command Clifford Wolf 2015-09-27 11:53:20 +02:00
  • 281c1f4029 Some cleanups in qwp Clifford Wolf 2015-09-26 10:42:27 +02:00
  • ddcfc99f8c Added "test_cell -noeval" Clifford Wolf 2015-09-25 17:27:18 +02:00
  • 82028c42e0 Added wreduce $mul support and fixed signed $mul opt_const bug Clifford Wolf 2015-09-25 17:27:06 +02:00
  • 4864736167 Bugfix in bram read-enable code Clifford Wolf 2015-09-25 14:22:33 +02:00
  • f9d7df0869 Bugfixes in $readmem[hb] Clifford Wolf 2015-09-25 13:49:48 +02:00
  • 4ac202e2a5 Bugfixes in writing of memories as Verilog Clifford Wolf 2015-09-25 13:49:26 +02:00
  • b2544cfcf7 Fixed segfault in AstNode::asReal Clifford Wolf 2015-09-25 12:38:01 +02:00
  • 924d9d6e86 Added read-enable to memory model Clifford Wolf 2015-09-25 12:23:11 +02:00
  • ec92c89659 Added pivoting to qwp solver Clifford Wolf 2015-09-24 22:16:37 +02:00
  • 69071bbc5f Improved qwp performance Clifford Wolf 2015-09-24 21:50:37 +02:00
  • b1e9cb332d Added statistics summary to "qwp" Clifford Wolf 2015-09-24 21:22:24 +02:00
  • 3501f8e364 Fixed memory_bram for ROMs in BRAMs with write-enable inputs Clifford Wolf 2015-09-24 11:37:15 +02:00
  • 1b8cb9940e Fixed AstNode::mkconst_bits() segfault on zero-sized constant Clifford Wolf 2015-09-24 11:21:20 +02:00
  • e2e092b144 Added read_verilog -nodpi Clifford Wolf 2015-09-23 08:23:38 +02:00
  • 089c1e176f Bugfix in handling of multi-dimensional memories Clifford Wolf 2015-09-23 07:56:17 +02:00
  • 559929e341 Warning for $display/$write outside initial block Clifford Wolf 2015-09-23 07:16:03 +02:00
  • b845b77f86 Fixed support for $write system task Clifford Wolf 2015-09-23 07:10:56 +02:00
  • a3a13cce32 Fixed detection of "task foo(bar);" syntax error Clifford Wolf 2015-09-22 21:34:21 +02:00
  • 6176f4d081 Fixed multi-level prefix resolving Clifford Wolf 2015-09-22 20:52:02 +02:00
  • 4b8200eb49 Fixed segfault on invalid verilog constant 1'b_ Clifford Wolf 2015-09-22 08:13:09 +02:00
  • 405cf67b64 Fixed emcc build Clifford Wolf 2015-09-21 12:33:36 +02:00
  • b66bf8bed1 Do not detect fsm state registers with init attribute Clifford Wolf 2015-09-21 11:52:40 +02:00
  • 11c27b5e69 Bugfix in "qwp" pass Clifford Wolf 2015-09-21 10:27:18 +02:00
  • 80898dcbc8 Improvements and fixes in "qwp" pass Clifford Wolf 2015-09-21 01:05:13 +02:00
  • 6329bea873 Added "qwp -dump" Clifford Wolf 2015-09-20 22:36:35 +02:00
  • 539c5eeb0f Added "qwp" command Clifford Wolf 2015-09-20 18:28:46 +02:00
  • c469f22144 Improvements to $display system task Andrew Zonenberg 2015-09-19 00:00:00 +00:00
  • 598a475724 Added nlutmap Clifford Wolf 2015-09-18 21:57:34 +02:00
  • c851f51656 Added lut2mux pass Clifford Wolf 2015-09-18 21:55:48 +02:00
  • d212d4d0c1 Cosmetic fix in Module::addLut() Clifford Wolf 2015-09-18 21:55:12 +02:00
  • db548800b6 Added buffer detection to "abc -lut" Clifford Wolf 2015-09-18 20:12:56 +02:00
  • 745d56149d Renamed GreenPAK4 cells, improved GP4 DFF mapping Clifford Wolf 2015-09-18 12:00:37 +02:00
  • 452d4bf741 Added support for "dfflibmap -liberty +/..." Clifford Wolf 2015-09-18 11:55:57 +02:00
  • 51e1295d79 Added detection of "mux inverter" chains in opt_const Clifford Wolf 2015-09-18 11:55:31 +02:00
  • b7535a6c75 Added $logic_not handling to fsm_detect Clifford Wolf 2015-09-18 10:46:50 +02:00
  • c89ceee219 Added $finish and $display to README Clifford Wolf 2015-09-18 10:01:08 +02:00
  • 7a230d3a8d Merge branch 'feat-finish-disp' Clifford Wolf 2015-09-18 09:54:49 +02:00
  • 9db05d17fe Added AST_INITIAL checks for $finish and $display Clifford Wolf 2015-09-18 09:50:53 +02:00
  • 7141f65533 Initial implementation of $display() Andrew Zonenberg 2015-09-17 20:34:56 -07:00
  • e446e651cb Initial implementation of $finish() Andrew Zonenberg 2015-09-17 20:34:56 -07:00
  • d9cecabb87 Fixed copy&paste typo in synth_greenpak4 Clifford Wolf 2015-09-16 09:39:31 +02:00
  • c5352f45c3 Added GreenPAK4 skeleton Clifford Wolf 2015-09-16 09:28:37 +02:00
  • e7c018e5d1 Fixed sharing of $memrd cells Clifford Wolf 2015-09-12 16:01:20 +02:00
  • 99ccb3180d Fixed ice40 handling of negclk RAM40 Clifford Wolf 2015-09-10 17:35:19 +02:00
  • 6f9a6fd783 Fixed port ordering in "splitnets" cmd Clifford Wolf 2015-09-01 13:10:36 +02:00
  • b10ea0550d gcc-4.6 build fixes Clifford Wolf 2015-09-01 12:51:23 +02:00
  • 522176c946 Removed unnecessary cast. Andrei Errapart 2015-08-24 22:44:56 +02:00
  • 09176bcf3f Microsoft Visual C++ fixes in hashlib; template specializations on int32_t and int64_t. Andrei Errapart 2015-08-24 22:49:23 +02:00
  • 744a5333f5 Microsoft Visual C++ fix for log.h. Andrei Errapart 2015-08-24 22:52:27 +02:00
  • 24e7cf89bc Fixed iopadmap help message Clifford Wolf 2015-08-31 16:49:42 +02:00
  • ee8f6f31f4 Added SigMap::allbits() Clifford Wolf 2015-08-31 16:42:19 +02:00
  • 92dce21f6e Using dict<> and pool<> in alumacc pass Clifford Wolf 2015-08-31 16:26:01 +02:00
  • 09b51cb375 Added "yosys-smt2-wire" tag support to smt2 back-end Clifford Wolf 2015-08-31 02:05:58 +02:00
  • eb38722e98 Fixed handling of memory read without address Clifford Wolf 2015-08-22 14:46:42 +02:00
  • c475deec6c Switched to Python 3 Clifford Wolf 2015-08-22 09:59:25 +02:00
  • f40d1b78b6 Added sat -show-regs, -show-public, -show-all Clifford Wolf 2015-08-18 17:14:30 +02:00
  • 246e362717 Bugfix in fsm_detect for complex muxtrees Clifford Wolf 2015-08-18 14:17:50 +02:00
  • f43815054e Properly clean up unused "init" attributes Clifford Wolf 2015-08-18 13:50:15 +02:00
  • a7ab9172f9 Small corrections to const2ast warning messages Clifford Wolf 2015-08-17 16:22:53 +02:00
  • 0491042849 Check base-n literals only contain valid digits Florian Zeitz 2015-08-17 15:37:33 +02:00
  • 64ccbf8510 Warn on literals exceeding the specified bit width Florian Zeitz 2015-08-17 15:27:35 +02:00
  • b7cb5e281f Merge pull request #72 from cseed/master Clifford Wolf 2015-08-17 08:33:46 +02:00
  • 8eebb67049 Added .travis.yml. Cotton Seed 2015-08-16 17:15:07 -04:00
  • 9596fe74de Another bugfix for ice40 and xilinx brams_init make rules Clifford Wolf 2015-08-16 21:39:34 +02:00
  • aedcfd6fd3 Fixed Makefile rules for generated share files Clifford Wolf 2015-08-16 21:15:07 +02:00
  • d5b1a90b33 Added $tribuf and $_TBUF_ sim models Clifford Wolf 2015-08-16 13:05:32 +02:00
  • 9c33172ece Added tribuf command Clifford Wolf 2015-08-16 12:55:25 +02:00
  • ff50bc2ac3 Added $tribuf and $_TBUF_ cell types Clifford Wolf 2015-08-16 12:54:52 +02:00
  • ae09c89f62 Fixed opt_clean handling of inout ports Clifford Wolf 2015-08-16 09:50:17 +02:00
  • b659ffb457 Fixed generation of smt2 concat statements Clifford Wolf 2015-08-15 11:45:44 +02:00
  • 1e67b29919 Fix version strings for out-of-tree builds Larry Doolittle 2015-08-14 13:46:22 -07:00
  • 6c00704a5e Another block of spelling fixes Larry Doolittle 2015-08-14 13:23:01 -07:00