Miodrag Milanovic [Fri, 4 Oct 2019 07:39:22 +0000 (09:39 +0200)]
split muxes synth per type
Miodrag Milanovic [Fri, 4 Oct 2019 07:28:18 +0000 (09:28 +0200)]
Test dffs separetely
Miodrag Milanovic [Fri, 4 Oct 2019 07:24:22 +0000 (09:24 +0200)]
Split latches into separete tests
Miodrag Milanovic [Fri, 4 Oct 2019 07:19:17 +0000 (09:19 +0200)]
Fix formatting
Miodrag Milanovic [Fri, 4 Oct 2019 06:27:49 +0000 (08:27 +0200)]
Clean verilog code from not used define block
Miodrag Milanovic [Fri, 4 Oct 2019 06:24:37 +0000 (08:24 +0200)]
Removed alu and div_mod test as agreed, ignore generated files
Miodrag Milanovic [Fri, 4 Oct 2019 06:19:26 +0000 (08:19 +0200)]
Test per flip-flop type
Eddie Hung [Tue, 1 Oct 2019 02:57:26 +0000 (19:57 -0700)]
Add -assert
Eddie Hung [Mon, 30 Sep 2019 21:56:19 +0000 (14:56 -0700)]
Use built-in async2sync call as per #1417
Eddie Hung [Mon, 30 Sep 2019 21:38:06 +0000 (14:38 -0700)]
Update mul test to DSP48E1
Eddie Hung [Mon, 30 Sep 2019 21:20:47 +0000 (14:20 -0700)]
Update area for div_mod
Eddie Hung [Mon, 30 Sep 2019 21:17:59 +0000 (14:17 -0700)]
Add comment for lack of tristate logic pointing to #1225
Eddie Hung [Mon, 30 Sep 2019 21:16:45 +0000 (14:16 -0700)]
Move $x to end as
7f0eec8
SergeyDegtyar [Tue, 17 Sep 2019 08:53:49 +0000 (11:53 +0300)]
adffs test update (equiv_opt -multiclock)
Sergey [Thu, 12 Sep 2019 11:54:01 +0000 (14:54 +0300)]
Fix div_mod test
Sergey [Thu, 12 Sep 2019 10:58:49 +0000 (13:58 +0300)]
Fix div_mod test
Sergey [Thu, 12 Sep 2019 04:13:49 +0000 (07:13 +0300)]
Fix div_mod test
Sergey [Thu, 12 Sep 2019 03:24:18 +0000 (06:24 +0300)]
Fix div_mod test
Sergey [Wed, 11 Sep 2019 18:28:40 +0000 (21:28 +0300)]
Fix div_mod test
Sergey [Wed, 11 Sep 2019 17:34:22 +0000 (20:34 +0300)]
Fix div_mod test
SergeyDegtyar [Wed, 11 Sep 2019 14:01:19 +0000 (17:01 +0300)]
Add comment with expected behavior for latches,tribuf tests;Update adffs test
SergeyDegtyar [Tue, 10 Sep 2019 05:36:59 +0000 (08:36 +0300)]
Fix latches.ys test
SergeyDegtyar [Tue, 10 Sep 2019 05:11:56 +0000 (08:11 +0300)]
Remove xilinx_ug901 tests (will be moved to yosys-tests)
SergeyDegtyar [Tue, 10 Sep 2019 05:08:03 +0000 (08:08 +0300)]
Add smoke tests to tests/xilinx
SergeyDegtyar [Mon, 9 Sep 2019 05:49:29 +0000 (08:49 +0300)]
Add comments for unproven cells.
SergeyDegtyar [Mon, 9 Sep 2019 05:33:26 +0000 (08:33 +0300)]
Add tests for Xilinx UG901 examples
Clifford Wolf [Wed, 16 Oct 2019 12:44:38 +0000 (14:44 +0200)]
Merge pull request #1450 from YosysHQ/clifford/fixdffmux
Fix handling of init attributes in peepopt dffmux pattern
Clifford Wolf [Wed, 16 Oct 2019 09:40:32 +0000 (11:40 +0200)]
Fix dffmux peepopt init handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 16 Oct 2019 09:40:01 +0000 (11:40 +0200)]
Move GENERATE_PATTERN macro to separate utility header
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 16 Oct 2019 08:43:47 +0000 (10:43 +0200)]
Disable left-over log_debug in peepopt_dffmux.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 16 Oct 2019 07:06:57 +0000 (09:06 +0200)]
Fix parsing of .cname BLIF statements
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 15 Oct 2019 22:00:27 +0000 (00:00 +0200)]
Add .blackbox support to blif front-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 14 Oct 2019 14:49:15 +0000 (16:49 +0200)]
Merge pull request #1448 from YosysHQ/daveshah1-sv-experiments
Typedef support (with wrong syntax)
David Shah [Mon, 14 Oct 2019 13:05:54 +0000 (14:05 +0100)]
Merge pull request #1446 from YosysHQ/dave/ecp5-ioff
ecp5: Use IOLOGIC flipflops
Clifford Wolf [Mon, 14 Oct 2019 03:24:31 +0000 (05:24 +0200)]
Use "(id)" instead of "id" for types as temporary hack
Signed-off-by: Clifford Wolf <clifford@clifford.at>
David Shah [Fri, 11 Oct 2019 13:50:33 +0000 (14:50 +0100)]
ecp5: Add ECLKBRIDGECS blackbox
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Thu, 10 Oct 2019 14:58:31 +0000 (15:58 +0100)]
ecp5: Add attrmvcp to copy syn_useioff to driving FF
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Thu, 10 Oct 2019 14:55:16 +0000 (15:55 +0100)]
ecp5: Set syn_useioff on IO FFs to enable packing
Signed-off-by: David Shah <dave@ds0.me>
Miodrag Milanović [Thu, 10 Oct 2019 12:09:32 +0000 (14:09 +0200)]
Merge pull request #1445 from YosysHQ/mwk/xilinx_ibufg
xilinx: Add simulation model for IBUFG.
Marcin Kościelnicki [Thu, 10 Oct 2019 09:31:33 +0000 (11:31 +0200)]
xilinx: Add simulation model for IBUFG.
Eddie Hung [Tue, 8 Oct 2019 19:41:26 +0000 (12:41 -0700)]
Revert "Add test that is expecting to fail"
This reverts commit
c28d4b804720c2cf0086e921748219150e9631b5.
Eddie Hung [Tue, 8 Oct 2019 19:41:24 +0000 (12:41 -0700)]
Revert "Be mindful that sigmap(wire) could have dupes when checking \init"
This reverts commit
f46ac1df9f8847dac9d9851f2f948d93a1064ff1.
Eddie Hung [Tue, 8 Oct 2019 19:38:29 +0000 (12:38 -0700)]
Merge pull request #1432 from YosysHQ/eddie/fix1427
Refactor peepopt_dffmux and be sensitive to \init when trimming
Eddie Hung [Tue, 8 Oct 2019 17:53:44 +0000 (10:53 -0700)]
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2sync
async2sync to be called by equiv_opt only when -async2sync given
Eddie Hung [Tue, 8 Oct 2019 17:53:38 +0000 (10:53 -0700)]
Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
Rename abc_* names/attributes to more precisely be abc9_*
Eddie Hung [Tue, 8 Oct 2019 17:53:30 +0000 (10:53 -0700)]
Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_comments
Add notes and comments for xilinx_dsp
Clifford Wolf [Sun, 6 Oct 2019 10:11:20 +0000 (12:11 +0200)]
Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarry
Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf
Eddie Hung [Sat, 5 Oct 2019 16:27:12 +0000 (09:27 -0700)]
Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolf
Clifford Wolf [Sat, 5 Oct 2019 16:13:04 +0000 (18:13 +0200)]
Update README.md
Eddie Hung [Sat, 5 Oct 2019 15:57:37 +0000 (08:57 -0700)]
Missed this
Eddie Hung [Sat, 5 Oct 2019 15:56:37 +0000 (08:56 -0700)]
Add comment on why we have to match for clock-enable/reset muxes
Eddie Hung [Sat, 5 Oct 2019 15:53:01 +0000 (08:53 -0700)]
Add note on pattern detector
Miodrag Milanović [Sat, 5 Oct 2019 05:48:30 +0000 (07:48 +0200)]
Merge pull request #1436 from YosysHQ/mmicko/msvc_fix
Fixes for MSVC build
Eddie Hung [Sat, 5 Oct 2019 05:30:14 +0000 (22:30 -0700)]
Add comment on why partial multipliers are 18x18
Eddie Hung [Sat, 5 Oct 2019 05:25:30 +0000 (22:25 -0700)]
Add comments for xilinx_dsp_cascade
Eddie Hung [Sat, 5 Oct 2019 05:24:15 +0000 (22:24 -0700)]
Improve comments for xilinx_dsp_CREG
Eddie Hung [Sat, 5 Oct 2019 04:45:31 +0000 (21:45 -0700)]
Fix comment
Eddie Hung [Sat, 5 Oct 2019 04:42:46 +0000 (21:42 -0700)]
Restore optimisation for sigM.empty()
Eddie Hung [Fri, 4 Oct 2019 20:38:09 +0000 (13:38 -0700)]
Retry on fixing TODOs
Eddie Hung [Fri, 4 Oct 2019 20:33:27 +0000 (13:33 -0700)]
Revert "Fix TODOs"
This reverts commit
8674a6c68d563908014d16671567459499c6dc99.
Eddie Hung [Fri, 4 Oct 2019 20:31:44 +0000 (13:31 -0700)]
More comments, cleanup
Eddie Hung [Fri, 4 Oct 2019 19:43:56 +0000 (12:43 -0700)]
Fix TODOs
Eddie Hung [Fri, 4 Oct 2019 19:43:19 +0000 (12:43 -0700)]
Consistency
Eddie Hung [Fri, 4 Oct 2019 19:40:34 +0000 (12:40 -0700)]
Add comments for xilinx_dsp
Eddie Hung [Sat, 5 Oct 2019 04:43:15 +0000 (21:43 -0700)]
Fix typo in check_label()
Eddie Hung [Sat, 5 Oct 2019 00:53:20 +0000 (17:53 -0700)]
Merge branch 'master' into eddie/abc_to_abc9
Eddie Hung [Sat, 5 Oct 2019 00:35:43 +0000 (17:35 -0700)]
Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9`
Eddie Hung [Sat, 5 Oct 2019 00:26:42 +0000 (17:26 -0700)]
Remove DSP48E1 from *_cells_xtra.v
Eddie Hung [Fri, 4 Oct 2019 23:46:15 +0000 (16:46 -0700)]
Fix xilinx_dsp for unsigned extensions
Eddie Hung [Fri, 4 Oct 2019 23:45:36 +0000 (16:45 -0700)]
Fix for SigSpec() == SigSpec(State::Sx, 0) to be true again
Eddie Hung [Fri, 4 Oct 2019 20:31:33 +0000 (13:31 -0700)]
Add Const::{begin,end,empty}()
Eddie Hung [Fri, 4 Oct 2019 18:04:10 +0000 (11:04 -0700)]
Rename abc_* names/attributes to more precisely be abc9_*
Eddie Hung [Fri, 4 Oct 2019 17:48:44 +0000 (10:48 -0700)]
Panic over. Model was elsewhere. Re-arrange for consistency
Eddie Hung [Fri, 4 Oct 2019 17:36:02 +0000 (10:36 -0700)]
Oops
Eddie Hung [Fri, 4 Oct 2019 17:34:16 +0000 (10:34 -0700)]
Ohmilord this wasn't added all this time!?!
Eddie Hung [Fri, 4 Oct 2019 17:17:46 +0000 (10:17 -0700)]
Add -async2sync to help text as per @daveshah1
Miodrag Milanovic [Fri, 4 Oct 2019 14:29:46 +0000 (16:29 +0200)]
Fixes for MSVC build
Eddie Hung [Thu, 3 Oct 2019 18:11:50 +0000 (11:11 -0700)]
Use `sat -tempinduct` and comments for why equiv_opt not sufficient
Eddie Hung [Thu, 3 Oct 2019 17:51:53 +0000 (10:51 -0700)]
Restore part of doc
Eddie Hung [Thu, 3 Oct 2019 17:45:53 +0000 (10:45 -0700)]
Disable equiv check for ice40 latches
Eddie Hung [Thu, 3 Oct 2019 17:30:51 +0000 (10:30 -0700)]
Add new -async2sync option
Eddie Hung [Thu, 3 Oct 2019 17:30:33 +0000 (10:30 -0700)]
Use equiv_opt -async2sync for xilinx
Eddie Hung [Thu, 3 Oct 2019 17:07:15 +0000 (10:07 -0700)]
Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"
This reverts commit
a39505e329cc05dbd4ad624a1cf0f6caf664fd9a.
Eddie Hung [Thu, 3 Oct 2019 17:07:03 +0000 (10:07 -0700)]
Revert "Update doc for equiv_opt"
This reverts commit
a274b7cc86d4f64541d3d2903b4eeed4616ab1d8.
Clifford Wolf [Thu, 3 Oct 2019 12:59:07 +0000 (14:59 +0200)]
Change smtbmc "Warmup failed" status to "PREUNSAT"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 3 Oct 2019 12:05:21 +0000 (14:05 +0200)]
Update ABC to git rev
623b5e8
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 3 Oct 2019 10:26:08 +0000 (12:26 +0200)]
Bump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 3 Oct 2019 10:06:12 +0000 (12:06 +0200)]
Merge pull request #1419 from YosysHQ/eddie/lazy_derive
module->derive() to be lazy and not touch ast if already derived
Clifford Wolf [Thu, 3 Oct 2019 09:54:04 +0000 (11:54 +0200)]
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
Add -select option to aigmap
Clifford Wolf [Thu, 3 Oct 2019 09:50:53 +0000 (11:50 +0200)]
Merge pull request #1429 from YosysHQ/clifford/checkmapped
Add "check -mapped"
Clifford Wolf [Thu, 3 Oct 2019 09:49:56 +0000 (11:49 +0200)]
Add "check -allow-tbuf"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
David Shah [Thu, 3 Oct 2019 08:55:43 +0000 (09:55 +0100)]
frontends/ast: code style
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 17:40:35 +0000 (18:40 +0100)]
sv: Improve tests
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 17:40:23 +0000 (18:40 +0100)]
sv: Fix typedefs in blocks
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 15:12:09 +0000 (16:12 +0100)]
sv: Disambiguate interface ports
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 12:01:47 +0000 (13:01 +0100)]
Update CHANGELOG and README
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 12:00:26 +0000 (13:00 +0100)]
sv: Add test scripts for typedefs
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 11:11:17 +0000 (12:11 +0100)]
sv: Fix memories of typedefs
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 10:59:33 +0000 (11:59 +0100)]
sv: Add %expect
Signed-off-by: David Shah <dave@ds0.me>
David Shah [Fri, 20 Sep 2019 10:46:37 +0000 (11:46 +0100)]
sv: Add support for memories of a typedef
Signed-off-by: David Shah <dave@ds0.me>