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

Commit graph

  • 3b73d3f140 Merge pull request #272 from AlexDaniel/master Clifford Wolf 2016-11-19 23:25:58 +01:00
  • 3c86da8000
         Keep lines under 80 characters Aleks-Daniel Jakimenko-Aleksejev 2016-11-19 20:51:50 +02:00
  • 55785a96eb Improved ABC default scripts Clifford Wolf 2016-11-19 18:20:54 +01:00
  • 751ad3c618
         Markdownify README even further Aleks-Daniel Jakimenko-Aleksejev 2016-11-19 18:34:13 +02:00
  • 487b19b4fa Merge pull request #271 from azidar/bugfix-assign-wmask Clifford Wolf 2016-11-19 17:36:07 +01:00
  • f77dc3bacc Bugfix: include assign to write-mask Adam Izraelevitz 2016-11-18 11:49:26 -08:00
  • e01382739d More progress in FIRRTL back-end Clifford Wolf 2016-11-18 02:41:29 +01:00
  • c051115e03 Progress in FIRRTL back-end Clifford Wolf 2016-11-18 00:32:35 +01:00
  • 57966a619f Added first draft of FIRRTL back-end Clifford Wolf 2016-11-17 23:36:47 +01:00
  • ce132cf652 Cleanups and fixed in write_verilog regarding reg init Clifford Wolf 2016-11-16 12:00:39 +01:00
  • 70d7a02cae Added support for hierarchical defparams Clifford Wolf 2016-11-15 13:35:19 +01:00
  • a926a6afc2 Remember global declarations and defines accross read_verilog calls Clifford Wolf 2016-11-15 12:42:43 +01:00
  • a2206180d6 Merge pull request #268 from AlexDaniel/master Clifford Wolf 2016-11-13 21:47:51 +01:00
  • d4e1592609
         Markdownify README Aleks-Daniel Jakimenko-Aleksejev 2016-11-12 23:33:28 +02:00
  • 1827a48964 Minor bugfix in submod Clifford Wolf 2016-11-09 13:13:26 +01:00
  • 617693e691 Progress in examples/gowin/ Clifford Wolf 2016-11-08 19:07:22 +01:00
  • e9d73d2ee0 Indenting fixes in gowin sim cell lib Clifford Wolf 2016-11-08 18:54:00 +01:00
  • 97ac77513f Bugfix in "setundef" pass Clifford Wolf 2016-11-08 18:53:36 +01:00
  • 84badc97b3 Added examples/gowin/ Clifford Wolf 2016-11-07 12:55:56 +01:00
  • ef603c6fe1 Implemented "scc -set_attr" Clifford Wolf 2016-11-06 00:04:10 +01:00
  • 914aa8a5d3 Bugfix in "scc" command Clifford Wolf 2016-11-06 00:03:35 +01:00
  • 2874914bcb Fixed anonymous genblock object names Clifford Wolf 2016-11-04 07:46:30 +01:00
  • 3db2ac4e00 Added hex constant support to write_verilog Clifford Wolf 2016-11-03 12:13:23 +01:00
  • e3330fb98f We are now in 0.7+ development Clifford Wolf 2016-11-03 10:31:51 +01:00
  • 61f6811627 Yosys 0.7 yosys-0.7 Clifford Wolf 2016-11-03 09:08:43 +01:00
  • 308a4b4a1b Bugfix in "hierarchy -check" Clifford Wolf 2016-11-02 20:09:57 +01:00
  • 4832faf5e9 Updated command reference in manual Clifford Wolf 2016-11-02 19:25:28 +01:00
  • 8e48685706 Changelog for Yosys 0.7 Clifford Wolf 2016-11-02 18:53:30 +01:00
  • b63cace90f Added support for fsm_encoding="user" Clifford Wolf 2016-11-02 13:15:49 +01:00
  • 0c8e973d32 Added "fsm_expand -full" Clifford Wolf 2016-11-02 09:31:39 +01:00
  • 56e2bb88ae Some fixes in handling of signed arrays Clifford Wolf 2016-11-01 23:17:43 +01:00
  • 81bdf0ad0f iCE40 flow is not experimental anymore Clifford Wolf 2016-11-01 11:32:02 +01:00
  • cae5131bac Added initial version of "synth_gowin" Clifford Wolf 2016-11-01 11:31:13 +01:00
  • caa2fc62ef Adde "write_verilog -renameprefix -v" Clifford Wolf 2016-11-01 11:30:27 +01:00
  • 1e3c2bff72 Added support for (single-clock) transparent memories to bram tests Clifford Wolf 2016-11-01 10:03:13 +01:00
  • d9d38eeedb Bugfix in fsm_map for FSMs without reset state Clifford Wolf 2016-10-25 23:21:37 +02:00
  • aa72262330 Added avail params to ilang format, check module params in 'hierarchy -check' Clifford Wolf 2016-10-22 11:05:49 +02:00
  • 3655d7fea7 Added "setparam -type" Clifford Wolf 2016-10-19 13:54:04 +02:00
  • 042b67f024 No limit for length of lines in BLIF front-end Clifford Wolf 2016-10-19 12:44:58 +02:00
  • 0b3885bbfd Merge pull request #250 from azonenberg/master Clifford Wolf 2016-10-19 11:37:04 +02:00
  • 1cca1563c6 Fixed typo in last commit Andrew Zonenberg 2016-10-18 20:46:49 -07:00
  • e78fa157a3 greenpak4: Added GP_PGEN cell definition Andrew Zonenberg 2016-10-18 20:42:44 -07:00
  • 091d32b563 Added GLITCH_FILTER parameter to GP_DELAY Andrew Zonenberg 2016-10-18 19:53:19 -07:00
  • a818472f0c greenpak4: added model for GP_EDGEDET block Andrew Zonenberg 2016-10-18 19:33:26 -07:00
  • 2effa497a3 Merge https://github.com/cliffordwolf/yosys Andrew Zonenberg 2016-10-18 19:29:25 -07:00
  • 281a977b39 Ignore L_pi nets in "yosys-smtbmc --cex" Clifford Wolf 2016-10-18 10:54:53 +02:00
  • 9e980a2bb0 Use init value "2" for all uninitialized FFs in BLIF back-end Clifford Wolf 2016-10-18 10:54:04 +02:00
  • 0bcc617a4f Added "yosys-smtbmc --cex <filename>" Clifford Wolf 2016-10-17 14:57:28 +02:00
  • 15fb56697a Bugfix in "miter -assert" handling of assumptions Clifford Wolf 2016-10-17 14:56:58 +02:00
  • 6425d34e73 Added clk2fflogic support for $dffsr and $dlatch Clifford Wolf 2016-10-17 13:28:55 +02:00
  • d6feb4b43e greenpak4: Changed parameters for GP_SYSRESET Andrew Zonenberg 2016-10-16 22:53:43 -07:00
  • 3a09d6bb65 Improvements and bugfixes in clk2fflogic Clifford Wolf 2016-10-16 23:03:29 +02:00
  • 189fbd4cf8 cleanup in write_smt2 log messages (-bv and -mem are now default) Clifford Wolf 2016-10-16 23:02:51 +02:00
  • 74702b04c2 Build fixes for VS 2015 Clifford Wolf 2016-10-16 20:37:02 +02:00
  • fa535c0b00 Some minor build fixes for Visual C Clifford Wolf 2016-10-14 18:34:44 +02:00
  • e4c5ee9b89 Avoid using strcasecmp() Clifford Wolf 2016-10-14 18:20:36 +02:00
  • 7fc69b3095 Fixed version string for out-of-tree builds Clifford Wolf 2016-10-14 17:18:18 +02:00
  • 512f93f866 Added notes about some formal features to README Clifford Wolf 2016-10-14 15:39:33 +02:00
  • bdc316db50 Added $anyseq cell type Clifford Wolf 2016-10-14 15:24:03 +02:00
  • 2733994aeb Added clk2fflogic Clifford Wolf 2016-10-14 14:55:07 +02:00
  • 2ef454c3f5 Added opt_rmdff support for $ff cells Clifford Wolf 2016-10-14 13:02:36 +02:00
  • 53655d173b Added $global_clock verilog syntax support for creating $ff cells Clifford Wolf 2016-10-14 12:33:56 +02:00
  • ffbb4e992e Added MEMID handling to "flatten" pass Clifford Wolf 2016-10-14 10:36:37 +02:00
  • 09aeb9a2aa Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2016-10-14 09:36:40 +02:00
  • 3c42462aa1 Merge pull request #246 from set-soft/abc_external_ovr Clifford Wolf 2016-10-14 09:36:31 +02:00
  • 788e51164e Added YOSYS_VER_STR make variable Clifford Wolf 2016-10-14 09:35:18 +02:00
  • 80749f174c Ugh! extra patches got here, reverting Salvador E. Tropea 2016-10-13 17:57:09 -03:00
  • cc8f29a1e6 Allow to overwrite ABCEXTERNAL from the environment. In this way Debian scripts can define it as berkeley-abc from the shell. Salvador E. Tropea 2016-10-13 17:51:14 -03:00
  • f263b175b5 Modified test target name (to test-all) As this target depends on external tools, and packagers run "make test", I think the name should be less generic. Salvador E. Tropea 2016-10-13 17:38:42 -03:00
  • 77ce8139a5 Added a new configuration variable GIT_REV_WHERE It determines from where we get the gits SHA1 value. By default is HEAD, suitable for Clifford, but for Debian we can define it as upstream/master Salvador E. Tropea 2016-10-13 17:34:15 -03:00
  • ee91350add Added "zinit" pass Clifford Wolf 2016-10-12 12:05:19 +02:00
  • 8ebba8a35f Added $ff and $_FF_ cell types Clifford Wolf 2016-10-12 01:18:39 +02:00
  • 4a981a3bd8 Fixed "make test" for git head of iverilog Clifford Wolf 2016-10-11 12:12:32 +02:00
  • 59508c99b4 define PATH_MAX if not defined by limits.h Clifford Wolf 2016-10-11 12:12:09 +02:00
  • 11130d581d Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2016-10-11 03:58:27 +02:00
  • 5f6a838823 Added smtc support for top-level state with [], [N:] syntax Clifford Wolf 2016-10-08 12:25:34 +02:00
  • 5f7c5e685b Bugfix in yosys-smtbmc --noincr Clifford Wolf 2016-10-04 00:54:44 +02:00
  • 1114ce9210 yosys-smtbmc: ABC is a QF_BV solver Clifford Wolf 2016-10-03 20:43:38 +02:00
  • 99b2093bc4 Added "yosys-smtbmc --noincr" Clifford Wolf 2016-10-03 20:30:38 +02:00
  • e586e5e15a Update ABV to hg rev eb6eca6807cc Clifford Wolf 2016-10-02 22:08:53 +02:00
  • 9aec8a1672 yosys-smtbmc: added smtc [...] support for cells Clifford Wolf 2016-10-02 22:08:30 +02:00
  • 4eb0d6fc0e Added "yosys-smtbmc -s abc" Clifford Wolf 2016-10-01 13:54:21 +02:00
  • 23594597bc Updated ABV to hg rev 6b74de13c57f Clifford Wolf 2016-10-01 12:23:24 +02:00
  • 76352c99c9 Added "prep -nokeepdc" Clifford Wolf 2016-09-30 17:02:52 +02:00
  • ed519f578e Added "opt_rmdff -keepdc" Clifford Wolf 2016-09-30 17:02:38 +02:00
  • ca5462523e Updated ABV to hg rev 2bc57cc30593 Clifford Wolf 2016-09-30 10:56:36 +02:00
  • 34e2fb594d Minor improvements in yosys-smtbmc Clifford Wolf 2016-09-24 20:40:22 +02:00
  • 8f5bf6de32 Added liberty parser support for types within cell decls Clifford Wolf 2016-09-23 13:53:23 +02:00
  • 6300c0b3c2 Merge branch 'master' of https://github.com/brouhaha/yosys Clifford Wolf 2016-09-23 13:42:08 +02:00
  • f4240cc8a4 Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests. Eric Smith 2016-09-15 02:00:29 -06:00
  • 0c697b9eac Added autotest.sh -I Clifford Wolf 2016-09-20 09:29:56 +02:00
  • e788ad4885 Cosmetic fix in test_autotb.cc Clifford Wolf 2016-09-19 20:43:43 +02:00
  • 2e244c2d8e Added yosys-smtbmc --noinfo and --dummy Clifford Wolf 2016-09-19 20:43:28 +02:00
  • 5e155aa121 Avoid creating very long strings in test_autotb Clifford Wolf 2016-09-19 10:20:20 +02:00
  • aaa99c35bd Added $past, $stable, $rose, $fell SVA functions Clifford Wolf 2016-09-19 01:30:07 +02:00
  • d009cdd6ee Improved handling of SMT2 logics in yosys-smtbmc Clifford Wolf 2016-09-18 20:48:09 +02:00
  • 13a03b84d4 Added support for bus interfaces to "read_liberty -lib" Clifford Wolf 2016-09-18 18:48:59 +02:00
  • 0ead5a9e44 Merge branch 'master' of github.com:cliffordwolf/yosys Clifford Wolf 2016-09-18 00:50:02 +02:00
  • 7bc88e8101 yosys-smtbmc: added -i support smtc files Clifford Wolf 2016-09-18 00:48:36 +02:00
  • d8ad889594 Bugfix in techmap parameter handling Clifford Wolf 2016-09-14 20:46:54 +02:00