141 commits

Author	SHA1	Message	Date
Eddie Hung	489e83fc1e	abc9_ops: do away with '$abc9_cells' selection	2020-05-14 10:33:56 -07:00
Eddie Hung	043ad8e76c	abc9_ops: use new 'design -delete' and 'select -unset'	2020-05-14 10:33:56 -07:00
Eddie Hung	e38b1280f9	abc9_ops: -prep_dff_map to warn if no specify cells	2020-05-14 10:33:56 -07:00
Eddie Hung	a1ae5845f8	abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP]_ flops	2020-05-14 10:33:56 -07:00
Eddie Hung	edacb8f437	abc9_ops: do not use (* abc9_init *)	2020-05-14 10:33:56 -07:00
Eddie Hung	95763c8d18	abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes	2020-05-14 10:33:56 -07:00
Eddie Hung	da7da44919	abc9_ops: -reintegrate to be sensitive to start_offset too	2020-05-02 11:19:04 -07:00
Eddie Hung	8c992ca47f	abc9: -prep_lut to be more robust	2020-04-20 09:39:35 -07:00
Marcelina Kościelnicka	4c52691a58	abc9_ops: Add a check ensuring that connected port actually exists.	2020-04-15 08:11:15 +02:00
Eddie Hung	956ecd48f7	kernel: big fat patch to use more ID::*, otherwise ID(*)	2020-04-02 09:51:32 -07:00
Eddie Hung	80dcc8a0d1	abc9: for sccs, create a new wire instead of using entirety of existing	2020-03-06 10:30:07 -08:00
Eddie Hung	91a7a74ac4	abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling	2020-03-06 10:20:30 -08:00
Eddie Hung	78929e8c3d	Fixes for older compilers	2020-02-27 10:17:29 -08:00
Eddie Hung	88d5997c80	abc9_ops: suppress -prep_box warning for abc9_flop	2020-02-27 10:17:29 -08:00
Eddie Hung	6bb3d9f9c0	Make TimingInfo::TimingInfo(SigBit) constructor explicit	2020-02-27 10:17:29 -08:00
Eddie Hung	9dcf204dec	TimingInfo: index by (port_name,offset)	2020-02-27 10:17:29 -08:00
Eddie Hung	7c3b4b80ea	Fix spacing	2020-02-27 10:17:29 -08:00
Eddie Hung	d6cff77751	abc9_ops: still emit delay table even box has no timing	2020-02-27 10:17:29 -08:00
Eddie Hung	683c5ce940	abc9_ops: demote lack of box timing info to warning	2020-02-27 10:17:29 -08:00
Eddie Hung	1ef1ca812b	Get rid of (* abc9_{arrival,required} *) entirely	2020-02-27 10:17:29 -08:00
Eddie Hung	a6fec9fe60	abc9_ops: use TimingInfo for -prep_{lut,box} too	2020-02-27 10:17:29 -08:00
Eddie Hung	3ea5506f81	abc9_ops: use TimingInfo for -prep_{lut,box} too	2020-02-27 10:17:29 -08:00
Eddie Hung	cda4acb544	abc9_ops: add and use new TimingInfo struct	2020-02-27 10:17:29 -08:00
Eddie Hung	e22fee6cdd	abc9_ops: ignore (* abc9_flop *) if not '-dff'	2020-02-27 10:17:29 -08:00
Eddie Hung	7c92b6852f	abc9_ops: sort LUT delays to be ascending	2020-02-27 10:17:29 -08:00
Eddie Hung	7317521c6f	abc9_ops: output LUT area	2020-02-27 10:17:29 -08:00
Eddie Hung	0ed550d83c	abc9_ops: cope with T_LIMIT{,2}_{MIN,TYP,MAX} and auto-gen small LUTs	2020-02-27 10:17:29 -08:00
Eddie Hung	12d70ca8fb	xilinx: improve specify functionality	2020-02-27 10:17:29 -08:00
Eddie Hung	577545488a	xilinx: use specify blocks in place of abc9_{arrival,required}	2020-02-27 10:17:29 -08:00
Eddie Hung	0e7c55e2a7	Auto-generate .box/.lut files from specify blocks	2020-02-27 10:17:29 -08:00
Eddie Hung	3d6603792d	abc9_ops: assert on $specify2 properties	2020-02-27 10:17:29 -08:00
Eddie Hung	74f49b1f55	abc9_ops: -prep_box, to be called once	2020-02-27 10:17:29 -08:00
Eddie Hung	5643c1b8c5	abc9_ops: -prep_lut and -write_lut to auto-generate LUT library	2020-02-27 10:17:29 -08:00
Alberto Gonzalez	750e7a9a54	Closes #1714. Fix make failure when NDEBUG=1.	2020-02-22 06:29:11 +00:00
Eddie Hung	f9f86fd758	Revert "abc9: fix abc9_arrival for flops" ... This reverts commit f7c0dbecee.	2020-02-14 16:08:04 -08:00
Eddie Hung	f7c0dbecee	abc9: fix abc9_arrival for flops	2020-02-13 12:34:09 -08:00
Eddie Hung	00d41905df	abc9: deprecate abc9_ff.init wire for (* abc9_init *) attr	2020-02-13 12:33:58 -08:00
Eddie Hung	0b308c6835	abc9_ops: -reintegrate to use derived_type for box_ports	2020-02-05 14:46:48 -08:00
Eddie Hung	21ce1b37fb	abc9_ops: -check for negative arrival/required times	2020-01-27 14:22:46 -08:00
Eddie Hung	f2576c096c	Merge branch 'eddie/abc9_refactor' into eddie/abc9_required	2020-01-27 12:29:28 -08:00
Eddie Hung	9009b76a69	abc9_ops: add comments	2020-01-27 11:18:21 -08:00
Eddie Hung	dbf351390e	abc9: -reintegrate recover type from existing cell, check against boxid	2020-01-23 22:45:34 -08:00
Eddie Hung	f180dba753	abc9_ops: -prep_xaiger to skip (* keep *) cells	2020-01-23 18:56:06 -08:00
Eddie Hung	1d4314d888	abc9_ops -prep_dff: insert async s/r mux in holes when replacing $_DFF_*	2020-01-23 14:58:56 -08:00
Eddie Hung	8eb5bb258c	Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor	2020-01-22 12:30:14 -08:00
Eddie Hung	5a63c19747	abc9_ops: -write_box is empty, output a dummy box to prevent ABC error	2020-01-15 13:14:48 -08:00
Eddie Hung	485e08e436	abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)	2020-01-14 16:33:41 -08:00
Eddie Hung	f60e071e1c	abc9_ops: -check to check abc9_{arrival,required}	2020-01-14 15:24:44 -08:00
Eddie Hung	1c88a6c240	abc9_ops: implement a requireds_cache	2020-01-14 15:20:04 -08:00
Eddie Hung	0e4285ca0d	abc9_ops: generate flop box ids, add abc9_required to FD* cells	2020-01-14 15:05:49 -08:00