Clifford Wolf
|
12ca6538a4
|
Fixed mem2reg warning message
|
2014-12-27 03:26:30 +01:00 |
Clifford Wolf
|
66ab88d7b0
|
More hashtable finetuning
|
2014-12-27 03:04:50 +01:00 |
Clifford Wolf
|
88d08e8f24
|
Some cleanups in dict/pool hashtable implementation
|
2014-12-26 23:21:23 +01:00 |
Clifford Wolf
|
6ce6689b63
|
Using Yosys::dict and Yosys::pool in sigtools.h
|
2014-12-26 22:08:44 +01:00 |
Clifford Wolf
|
ec4751e55c
|
Replaced std::unordered_set (nodict) with Yosys::pool
|
2014-12-26 21:59:41 +01:00 |
Clifford Wolf
|
9e6fb0b02c
|
Replaced std::unordered_map as implementation for Yosys::dict
|
2014-12-26 21:35:22 +01:00 |
Clifford Wolf
|
e52d1f9b9a
|
Added new_dict (hashmap.h) and re-enabled code coverage counters
|
2014-12-26 19:28:52 +01:00 |
Clifford Wolf
|
e0c0011863
|
Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict
|
2014-12-26 11:05:23 +01:00 |
Clifford Wolf
|
35f611e2f6
|
Added "yosys -d" command line option
|
2014-12-26 10:54:23 +01:00 |
Clifford Wolf
|
a6c96b986b
|
Added Yosys::{dict,nodict,vector} container types
|
2014-12-26 10:53:21 +01:00 |
Clifford Wolf
|
e8c12e5f0c
|
Various fixes and improvements in "write_smt2 -bv"
|
2014-12-25 20:28:34 +01:00 |
Clifford Wolf
|
b748622a7f
|
Added "test_cell -muxdiv"
|
2014-12-25 19:22:39 +01:00 |
Clifford Wolf
|
68233baa1f
|
Various fixes and improvements in write_smt2
|
2014-12-25 17:52:31 +01:00 |
Clifford Wolf
|
7dece74fae
|
Added "test_cell -w" feature
|
2014-12-25 17:04:13 +01:00 |
Clifford Wolf
|
170788a3de
|
Fixed simplemap for $ne cells with output width > 1
|
2014-12-25 16:41:20 +01:00 |
Clifford Wolf
|
95f17dbab0
|
Added support for most BV cell types to write_smt2
|
2014-12-25 15:37:02 +01:00 |
Clifford Wolf
|
1c3d51375f
|
Added "write_smt2 -bv" and other write_smt2 improvements
|
2014-12-25 13:30:20 +01:00 |
Clifford Wolf
|
b6a7e21d2e
|
Fixed off-by-one bug in "hierarchy -check" for positional module args
|
2014-12-24 16:26:18 +01:00 |
Clifford Wolf
|
e548483c91
|
Added write_smt2 (only gate level logic supported so far)
|
2014-12-24 16:17:57 +01:00 |
Clifford Wolf
|
aad195b88c
|
Added "dfflibmap -prepare" help
|
2014-12-24 12:56:05 +01:00 |
Clifford Wolf
|
35f5aa300f
|
Added "dfflibmap -prepare"
|
2014-12-24 12:19:20 +01:00 |
Clifford Wolf
|
032ce573a3
|
Added "dff2dffe -direct" for direct gate mapping
|
2014-12-24 11:39:15 +01:00 |
Clifford Wolf
|
8c1a72c2a4
|
Added "dff2dffe -unmap"
|
2014-12-24 11:09:01 +01:00 |
Clifford Wolf
|
afcacd6437
|
Added support for gate-level cells in dff2dffe
|
2014-12-24 10:49:54 +01:00 |
Clifford Wolf
|
4aa9fbbf3f
|
Improvements in simplemap api, added $ne $nex $eq $eqx support
|
2014-12-24 10:49:24 +01:00 |
Clifford Wolf
|
edb3c9d0c4
|
Renamed extend() to extend_xx(), changed most users to extend_u0()
|
2014-12-24 09:51:17 +01:00 |
Clifford Wolf
|
48ca1ff9ef
|
Improved ABC clock domain partitioning
|
2014-12-23 14:08:38 +01:00 |
Clifford Wolf
|
5fe02b7965
|
Indenting fix in show.cc
|
2014-12-23 13:49:54 +01:00 |
Clifford Wolf
|
4f5b97954e
|
Added "show -colorattr"
|
2014-12-23 12:29:29 +01:00 |
Clifford Wolf
|
a216df0433
|
Added "abc -markgroups"
|
2014-12-23 12:29:02 +01:00 |
Clifford Wolf
|
76fa527492
|
Added support for multiple clock domains to "abc" pass
|
2014-12-21 16:52:05 +01:00 |
Clifford Wolf
|
25844b5683
|
Fixed "abc" pass for clk and enable signals driven by logic
|
2014-12-21 11:13:25 +01:00 |
Clifford Wolf
|
f7b323196f
|
Added DFFE support to "abc" pass
|
2014-12-20 00:44:03 +01:00 |
Clifford Wolf
|
5df192e71c
|
Added $dffe support to write_verilog
|
2014-12-20 00:03:20 +01:00 |
Clifford Wolf
|
bacd3699b3
|
Checking existence of ports in "hierarchy -check"
|
2014-12-19 18:47:19 +01:00 |
Clifford Wolf
|
30de490d86
|
Fixed another bug in write_blif handling of $lut cells
|
2014-12-19 17:54:44 +01:00 |
Clifford Wolf
|
36f0451ab4
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
2014-12-17 11:16:39 +01:00 |
Clifford Wolf
|
b95051fb70
|
Fixed writing of $lut cells in BLIF backend
|
2014-12-17 11:13:57 +01:00 |
Clifford Wolf
|
6cec188c52
|
Fixed build with gcc 4.6
|
2014-12-16 10:38:25 +01:00 |
Clifford Wolf
|
e01254d824
|
Added "write_blif -undef" and support for special "-" true/false/undef type
|
2014-12-14 18:00:38 +01:00 |
Clifford Wolf
|
59d11978fc
|
Added "write_blif -blackbox"
based on code by Eddie Hung from
https://github.com/eddiehung/yosys/commit/1e481661cb4a4
|
2014-12-14 17:45:03 +01:00 |
Clifford Wolf
|
32dce4a870
|
Added "blif -unbuf" feature
|
2014-12-14 17:37:46 +01:00 |
Clifford Wolf
|
f7cf60b45c
|
Removed psmisc from deps list (usually fuser is already installed and the package name for it varies)
|
2014-12-14 17:24:44 +01:00 |
Clifford Wolf
|
cf55371a22
|
Added psmisc to prerequisites
|
2014-12-12 12:49:46 +01:00 |
Clifford Wolf
|
72f500c950
|
Removed UTF-8 chars from techmap.v
|
2014-12-12 12:44:16 +01:00 |
Clifford Wolf
|
6c768c686f
|
Added missing prerequisites to README
|
2014-12-12 11:34:25 +01:00 |
Clifford Wolf
|
7775d2806f
|
Added IdString::destruct_guard hack
|
2014-12-11 21:46:36 +01:00 |
Clifford Wolf
|
df52eedb30
|
Compile fix for visual studio
|
2014-12-11 15:27:38 +01:00 |
Clifford Wolf
|
1282a113da
|
Fixed supply0/supply1 with many wires
|
2014-12-11 13:56:20 +01:00 |
Clifford Wolf
|
032511fac8
|
Added functionality to dff2dffe pass
|
2014-12-08 15:38:58 +01:00 |