1853 commits

Author	SHA1	Message	Date
Clifford Wolf	2fbaaaca7a	More changes to simlib to make it friendlier to a wider range of tools	2014-01-18 19:13:43 +01:00
Clifford Wolf	4a9e133fab	Fixed a type in $mem model in simlib.v	2014-01-18 18:54:50 +01:00
Clifford Wolf	bef17eeb10	Removed cases of trailing comma in stdcells.v	2014-01-18 15:36:17 +01:00
Clifford Wolf	5b96675696	Added $bu0 cell to simlib.v	2014-01-18 15:35:15 +01:00
Clifford Wolf	db9cf544b8	Added techlibs/common/pmux2mux.v	2014-01-17 20:06:15 +01:00
Clifford Wolf	b3b00f1bf4	Various small cleanups in stdcells.v techmap code	2013-12-31 15:41:40 +01:00
Clifford Wolf	c69c416d28	Added $bu0 cell (for easy correct $eq/$ne mapping)	2013-12-28 12:02:14 +01:00
Clifford Wolf	369bf81a70	Added support for non-const === and !== (for miter circuits)	2013-12-27 14:20:15 +01:00
Clifford Wolf	76f7c10cfc	Using simplemap mappers from techmap	2013-11-24 23:31:14 +01:00
Clifford Wolf	1afe6589df	Renamed stdcells_sim.v to simcells.v and fixed blackbox.v	2013-11-24 20:44:00 +01:00
Clifford Wolf	20175afd29	Added "techmap -share_map" option	2013-11-24 19:50:25 +01:00
Clifford Wolf	ae798d3fd5	Fixed xilinx/example_sim_counter test bench	2013-11-24 17:55:46 +01:00
Clifford Wolf	532091afcb	Added more generic _TECHMAP_ wire mechanism to techmap pass	2013-11-23 15:58:06 +01:00
Clifford Wolf	1c4a6411af	Updated abc	2013-11-21 22:39:10 +01:00
Clifford Wolf	0c91f890c9	Install simlib in datdir	2013-11-19 23:05:46 +01:00
Clifford Wolf	97f2979bba	Added commented-out osu025 maping commands to cmos techmap example	2013-11-18 12:01:00 +01:00
Clifford Wolf	e5b974fa2a	Cleanups and bugfixes in response to new internal cell checker	2013-11-11 00:39:45 +01:00
Clifford Wolf	404b46674b	Fixed techmap of $reduce_xnor with multi-bit outputs	2013-11-07 00:58:06 +01:00
Clifford Wolf	b41740060b	Fixed techmap of $gt and $ge with multi-bit outputs	2013-11-06 22:59:45 +01:00
Clifford Wolf	6fcbc79b5c	Improved width extension with regard to undef propagation	2013-11-06 21:05:11 +01:00
Clifford Wolf	0b4a64ac6a	Added DFFSR cell to techlibs/cmos/cmos_cells.lib	2013-10-31 12:27:35 +01:00
James Walmsley	40b3551b45	[EXAMPLES] Ported the mojo counter example to Zynq ZED board. ... Will be adding a tutorial on this to verilog.james.walms.co.uk in a few days.	2013-10-27 21:48:39 +01:00
Clifford Wolf	88cd2eadf5	Cleanups in xilinx examples	2013-10-27 09:58:53 +01:00
Clifford Wolf	4a3669d871	Added synth_xilinx command	2013-10-27 09:51:06 +01:00
Clifford Wolf	90b016716b	Moved simple xilinx counter sim example to subdir	2013-10-27 09:30:17 +01:00
Clifford Wolf	02f321b6fc	Xilinx mojo_counter example is now working	2013-10-27 08:21:56 +01:00
Clifford Wolf	d635f8adaa	Renamed techlibs/xilinx7 to techlibs/xilinx	2013-10-26 22:29:40 +02:00
Clifford Wolf	4007b41d40	Improved xilinx mojo_counter example	2013-10-26 22:28:42 +02:00
Clifford Wolf	b934a2d209	Added another xilinx example (not funcional yet)	2013-10-26 17:22:29 +02:00
Clifford Wolf	0836a1f2ba	Bugfix in dffsr techmap rules	2013-10-18 13:24:44 +02:00
Clifford Wolf	8197169f8d	Added techmap rules for $sr, $dffsr and $dlatch	2013-10-18 12:29:21 +02:00
Clifford Wolf	e0f693cbb0	Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_	2013-10-18 12:13:34 +02:00
Clifford Wolf	5998c101a4	Added $sr, $dffsr and $dlatch cell types	2013-10-18 11:56:16 +02:00
Clifford Wolf	5745d3de9a	Added map, par and bitgen to xlinx7 example	2013-10-16 10:57:18 +02:00
Clifford Wolf	288ba9618a	Moved common techlib files to techlibs/common	2013-09-15 11:52:57 +02:00
Clifford Wolf	2c9bd23801	Added spice testbench to techlibs/cmos	2013-09-14 13:29:11 +02:00
Clifford Wolf	bbe5aa446b	Added spice backend	2013-09-14 11:23:45 +02:00
Clifford Wolf	6685ad436e	Added mapping to techlibs/xilinx7 testbench (exposes EDIF backend todos)	2013-08-27 13:12:26 +02:00
Clifford Wolf	5059b31660	Added simple xilinx7 technology mapping files	2013-08-22 20:31:04 +02:00
Clifford Wolf	a860efa8ac	Implemented same div-by-zero behavior as found in other synthesis tools	2013-08-15 21:00:06 +02:00
Clifford Wolf	c8763301b4	Added $div and $mod technology mapping	2013-08-09 17:09:24 +02:00
Clifford Wolf	ad9bbcbf40	Added $lut cells and abc lut mapping support	2013-07-23 16:19:34 +02:00
Clifford Wolf	7daeee340a	Fixed shift ops with large right hand side	2013-07-09 18:59:59 +02:00
Clifford Wolf	0c6ffc4c65	More fixes for bugs found using xsthammer	2013-06-13 11:18:45 +02:00
Clifford Wolf	7f3f25841e	More sign-extension related fixes	2013-06-10 21:04:04 +02:00
Clifford Wolf	29d6ebd961	Implemented technology mapping for multipliers (using array multiplier)	2013-06-03 12:48:44 +02:00
Clifford Wolf	32dbf7752d	Fixed clock related parameter names for $memrd and $memwr in techlibs/simlib.v	2013-04-07 16:42:29 +02:00
Clifford Wolf	d60fbaf664	Added EXTRA_TARGETS Makefile variable	2013-03-28 16:53:40 +01:00
Clifford Wolf	26f2439551	Tiny bugfix in simlib.v	2013-03-26 19:06:28 +01:00
Clifford Wolf	6960df7285	Fixed stdcells.v for $adff with undef reset value	2013-03-24 10:43:05 +01:00