Search results for "aig"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton	DAG-aware AIG rewriting a fresh look at combinational logic synthesis.	DAC	2006	DBLP DOI BibTeX RDF	NPN equivalence, and-inverter graphs, technology-independent logic synthesis, technology mapping
66	Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown	Delay driven AIG restructuring using slack budget management.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	aig, budget management, logic synthesis, network flow
46	Xin Li 0004, Hsinchun Chen	Recommendation as link prediction: a graph kernel-based machine learning approach.	JCDL	2009	DBLP DOI BibTeX RDF	recommender system, collaborative filtering, kernel methods
46	Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer	Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
46	Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juliana Freire, Rajeev Rastogi	Capturing both Types and Constraints in Data Integration.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF	XML
29	Mario Barbareschi, Salvatore Barone, Nicola Mazzocca, Alberto Moriconi	A Catalog-Based AIG-Rewriting Approach to the Design of Approximate Components.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
29	Liwei Ni, Zonglin Yang, Jiaxi Zhang 0001, Junfeng Liu, Huawei Li, Biwei Xie, Xinquan Li	Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning.	CoRR	2023	DBLP DOI BibTeX RDF
29	Liwei Ni, Zonglin Yang, Jiaxi Zhang 0001, Junfeng Liu, Huawei Li, Biwei Xie, Xinquan Li	Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning.	ICCD	2023	DBLP DOI BibTeX RDF
29	Tianji Liu, Evangeline F. Y. Young	Rethinking AIG Resynthesis in Parallel.	DAC	2023	DBLP DOI BibTeX RDF
29	Sebastian Kucharski, Gregor Damnik, Florian Stahr, Iris Braun	Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic Efficiency.	CSEDU (2)	2023	DBLP DOI BibTeX RDF
29	K. N. Raja Praveen, Gadug Sudhamsu	Using AIG in Verilog HDL, Autonomous Testing in a Family of Wien Bridge Cross Transducers.	IC3I	2022	DBLP DOI BibTeX RDF
29	K. N. Raja Praveen, Gadug Sudhamsu	Using AIG in Verilog HDL, Autonomous Testing in a Family of Wien Bridge Cross Transducers.	IC3I	2022	DBLP DOI BibTeX RDF
29	Shiju Lin, Jinwei Liu, Tianji Liu, Martin D. F. Wong, Evangeline F. Y. Young	NovelRewrite: node-level parallel AIG rewriting.	DAC	2022	DBLP DOI BibTeX RDF
29	Chandan Bandyopadhyay, Rakesh Das, Anupam Chattopadhyay, Hafizur Rahaman 0001	Design and synthesis of improved reversible circuits using AIG- and MIG-based graph data structures.	IET Comput. Digit. Tech.	2019	DBLP DOI BibTeX RDF
29	Laura Zavala, Benito Mendoza García	On the Use of Semantic-Based AIG to Automatically Generate Programming Exercises.	SIGCSE	2018	DBLP DOI BibTeX RDF
29	Vinicius N. Possani, Yi-Shan Lu, Alan Mishchenko, Keshav Pingali, Renato P. Ribas, André Inácio Reis	Unlocking fine-grain parallelism for AIG rewriting.	ICCAD	2018	DBLP DOI BibTeX RDF
29	Lucas Machado, Jordi Cortadella	Boolean Decomposition for AIG Optimization.	ACM Great Lakes Symposium on VLSI	2017	DBLP DOI BibTeX RDF
29	Mohammad A. Noureddine, Fadi A. Zaraket	Model Checking Software with First Order Logic Specifications Using AIG Solvers.	IEEE Trans. Software Eng.	2016	DBLP DOI BibTeX RDF
29	Fadi A. Zaraket, Mohamad Noureddine	Model Checking Software Programs with First Order Logic Specifications using AIG Solvers.	CoRR	2014	DBLP BibTeX RDF
29	Jared Davis, Sol Swords	Verified AIG Algorithms in ACL2	ACL2	2013	DBLP DOI BibTeX RDF
29	Jagdish Pathak, Khondkar E. Karim, Clairmont Carter, Yingshu Xie	Why do enterprise risk management systems fail? Evidence from a case study of AIG.	Int. J. Appl. Decis. Sci.	2013	DBLP DOI BibTeX RDF
29	Kamil Lysik, Katarzyna Wasielewska, Marcin Paprzycki, Maria Ganzha, John Brennan, Violeta Holmes, Ibad Kureshi	Combining AiG Agents with Unicore Grid for Improvement of User Support.	CANDAR	2013	DBLP DOI BibTeX RDF
29	Nan Li 0018, Elena Dubrova	AIG Rewriting Using 5-Input Cuts	CoRR	2011	DBLP BibTeX RDF
29	Thiago Figueiro, Renato P. Ribas, André Inácio Reis	Constructive AIG optimization through functional composition.	ARCS Workshops	2011	DBLP BibTeX RDF
29	Nan Li 0018, Elena Dubrova	AIG rewriting using 5-input cuts.	ICCD	2011	DBLP DOI BibTeX RDF
29	Thiago Figueiro, Renato P. Ribas, André Inácio Reis	Constructive AIG optimization considering input weights.	ISQED	2011	DBLP DOI BibTeX RDF
29	Sol Swords, Warren A. Hunt Jr.	A Mechanically Verified AIG-to-BDD Conversion Algorithm.	ITP	2010	DBLP DOI BibTeX RDF
29	Florian Pigorsch, Christoph Scholl 0001	An AIG-Based QBF-solver using SAT for preprocessing.	DAC	2010	DBLP DOI BibTeX RDF	Boolean satisfiability, quantified boolean formulas
29	Florian Pigorsch, Christoph Scholl 0001	Exploiting structure in an AIG based QBF solver.	DATE	2009	DBLP DOI BibTeX RDF
23	Warren A. Hunt Jr., Sol Swords	Centaur Technology Media Unit Verification.	CAV	2009	DBLP DOI BibTeX RDF
23	Alan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton	Combinational and sequential mapping with priority cuts.	ICCAD	2007	DBLP DOI BibTeX RDF
23	Florian Pigorsch, Christoph Scholl 0001, Stefan Disch	Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.	FMCAD	2006	DBLP DOI BibTeX RDF
23	Qi Zhu 0002, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli	SAT sweeping with local observability don't-cares.	DAC	2006	DBLP DOI BibTeX RDF	SAT sweeping, and/inverter graphs, observability
23	HoonSang Jin, Fabio Somenzi	CirCUs: A Hybrid Satisfiability Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF