summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Collapse)AuthorAgeFilesLines
* New switch in command &st for adding buffers.Alan Mishchenko2022-07-311-0/+21
|
* Bug fix in &uif.Alan Mishchenko2022-04-241-2/+2
|
* Supporting multiple box types in &uif.Alan Mishchenko2022-04-241-17/+36
|
* Bug fix in &uif.Alan Mishchenko2022-04-241-4/+12
|
* Experiments with word-level data structures.Alan Mishchenko2022-04-221-0/+138
|
* Experiments with word-level data structures.Alan Mishchenko2022-04-041-7/+83
|
* Experiments with word-level data structures.Alan Mishchenko2022-01-211-0/+14
|
* Adding new command &icec.Alan Mishchenko2021-12-171-0/+64
|
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-3/+3
|
* Various changes.Alan Mishchenko2021-09-021-0/+46
|
* Support of pair-wise miter and other changes.Alan Mishchenko2021-08-221-0/+38
|
* Extending &trim to trim structurally equivalent primary outputs.Alan Mishchenko2021-08-191-0/+25
|
* Adding node ordering options to command &dfs.Alan Mishchenko2021-08-051-6/+31
|
* Updating LUT synthesis code.Alan Mishchenko2021-05-161-0/+2
|
* An option to extend the number of primary inputs.Alan Mishchenko2021-03-281-0/+32
|
* Integration with several commands.Alan Mishchenko2020-11-191-1/+1
|
* Merge pull request #65 from FPGeh/fix_seq_synthalanminko2020-04-301-5/+7
|\ | | | | Gia_ManDupPermFlop to behave as Gia_ManDupPerm
| * Gia_ManDupPermFlop to behave as Gia_ManDupPermEddie Hung2020-01-231-5/+7
| | | | | | | | Fixes sequential synthesis (e.g. &scl) for multiple domains
* | Updating and extending simulation data structures.Alan Mishchenko2020-03-051-1/+4
|/
* Making &gla iterate over property outputs.Alan Mishchenko2019-12-111-0/+24
|
* Upgrading reparametrization to perform (non-range-equivalent) removal of logic.Alan Mishchenko2019-09-041-0/+56
|
* Adding command &permute.Alan Mishchenko2019-07-021-0/+45
|
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-2/+5
|
* Experiment with partitioned &scorr.Alan Mishchenko2019-01-151-0/+185
|
* Bug fix in deriving names for the miter output.Alan Mishchenko2019-01-101-4/+9
|
* Preserving output names while deriving a miter.Alan Mishchenko2018-09-201-0/+26
|
* Preserving names while deriving a miter.Alan Mishchenko2018-09-201-0/+2
|
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-261-246/+12
|
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-131-1/+10
|
* Changes to make GIA structural hashing use a dedicated array instead of ↵Alan Mishchenko2017-11-131-3/+3
| | | | pObj->Value.
* Improvements to quantification.Alan Mishchenko2017-11-131-0/+238
|
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-1/+1
|
* Improvements to quantification.Alan Mishchenko2017-10-291-0/+77
|
* Useful AIG duplication procedure.Alan Mishchenko2017-09-051-0/+36
|
* Several changes to various packages.Alan Mishchenko2017-09-041-0/+21
|
* Transforming miter by swapping sides.Alan Mishchenko2017-07-231-0/+61
|
* Synchronizing various data-structures.Alan Mishchenko2017-07-041-0/+25
|
* Several new procedures for GIA manipulation.Alan Mishchenko2017-06-011-0/+51
|
* Word-level abstraction engine.Alan Mishchenko2017-02-151-0/+37
|
* Compiler warnings.Alan Mishchenko2017-02-101-1/+1
|
* Adding PDR with abstraction.Alan Mishchenko2017-02-101-0/+74
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+65
|
* Updated to arithmetic verification.Alan Mishchenko2017-01-091-4/+12
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-13/+99
|
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-1/+1
|
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-3/+12
|
* Removing verbose output in &cec and &syn4.Alan Mishchenko2016-07-131-1/+1
|
* Small changes for today's experiments.Alan Mishchenko2016-06-031-1/+1
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-2/+3
|
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-201-0/+31
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 21:39:18 +0000