Search results for "BDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Randal E. Bryant	Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract).	CAV	1995	DBLP DOI BibTeX RDF
29	Sathiamoorthy Subbarayan	Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.	PADL	2008	DBLP DOI BibTeX RDF
29	Hasan Amjad	LCF-Style Propositional Simplification with BDDs and SAT Solvers.	TPHOLs	2008	DBLP DOI BibTeX RDF
29	Stefan Edelkamp, Peter Kissmann	Limits and Possibilities of BDDs in State Space Search.	KI	2008	DBLP DOI BibTeX RDF
29	Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman	Ultra Fast Parallel Fault Analysis on Structurally Synthesized BDDs.	ETS	2007	DBLP DOI BibTeX RDF
29	Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann	N-Gram Analysis Based on Zero-Suppressed BDDs.	JSAI	2006	DBLP DOI BibTeX RDF
29	Sathiamoorthy Subbarayan	Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
29	Shin-ichi Minato	Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
29	Shan-Tai Chen, Shun-Shii Lin, Li-Te Huang, Chun-Jen Wei	Towards the Exact Minimization of BDDs-An Elitism-Based Distributed Evolutionary Algorithm.	J. Heuristics	2004	DBLP DOI BibTeX RDF	DEBEA, EBEA, paralleled algorithm, evolutionary algorithm, Binary Decision Diagram, heuristic algorithm
29	Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar	Abstraction and BDDs Complement SAT-Based BMC in DiVer.	CAV	2003	DBLP DOI BibTeX RDF
29	Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski	Fast Computation of Data Correlation Using BDDs.	DATE	2003	DBLP DOI BibTeX RDF
29	Sherief Reda, Rolf Drechsler, Alex Orailoglu	On the Relation between SAT and BDDs for Equivalence Checking.	ISQED	2002	DBLP DOI BibTeX RDF
29	Shin-ichi Minato	Zero-suppressed BDDs and their applications.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD
29	Michael J. C. Gordon	Reachability Programming in HOL98 Using BDDs.	TPHOLs	2000	DBLP DOI BibTeX RDF
29	Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi	An Application of Genetic Algorithms and BDDs to Functional Testing.	ICCD	2000	DBLP DOI BibTeX RDF
29	Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu	Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.	CAV	1999	DBLP DOI BibTeX RDF
29	Wolfgang Günther 0001, Rolf Drechsler	Minimization of BDDs using linear transformations based on evolutionary techniques.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
29	Rolf Drechsler, Nicole Drechsler, Wolfgang Günther 0001	Fast Exact Minimization of BDDs.	DAC	1998	DBLP DOI BibTeX RDF	reconstruction, emulation, visibility, functional simulation
29	Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz	Approximate Reachability with BDDs Using Overlapping Projections.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
29	Andreas Hett, Rolf Drechsler, Bernd Becker 0001	Fast and efficient construction of BDDs by reordering based synthesis.	ED&TC	1997	DBLP DOI BibTeX RDF
29	Zhuxing Zhao, Zhongcheng Li, Yinghua Min	Waveform Polynomial Manipulation Using Bdds.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	waveform polynomial manipulation, design verification and test, middle size circuits, complexity, data structure, high level synthesis, timing, logic design, combinational circuit, logic synthesis, binary decision diagram, directed acyclic graph, digital circuit, Boolean process
29	Jean Goubault	Proving with BDDs and Control of Information.	CADE	1994	DBLP DOI BibTeX RDF
29	Tiago Muller Gil Cardoso, Leomar S. da Rosa Jr., Felipe de Souza Marques, Renato P. Ribas, André Inácio Reis	Speed-Up of ASICs Derived from FPGAs by Transistor Network Synthesis Including Reordering.	ISQED	2008	DBLP DOI BibTeX RDF	Transistor networks, logic synthesis, BDDs, Logical effort
29	Alain Griffault, Aymeric Vincent	The Mec 5 Model-Checker.	CAV	2004	DBLP DOI BibTeX RDF	AltaRica, model-checking, BDDs, calculus
29	Valentin Gherman, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Michael Garbers	Efficient Pattern Mapping for Deterministic Logic BIST.	ITC	2004	DBLP DOI BibTeX RDF	BDDs, Logic BIST
29	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	FORCE: a fast and easy-to-implement variable-ordering heuristic.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	partitioning, placement, SAT, BDDs, hypergraph, CNF, pre-processing, backtrack search, variable order
29	Ilia Polian, Irith Pomeranz, Bernd Becker 0001	Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	n-detection, BDDs, formal techniques, Fault dominance
29	Valeria Bertacco, Kunle Olukotun	Efficient state representation for symbolic simulation.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, BDDs, symbolic simulation
29	Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton	Combinational Verification based on High-Level Functional Specifications.	DATE	1998	DBLP DOI BibTeX RDF	Combinational verification, Domain transformations, BDDs
29	Michele Favalli, Marcello Dalpasso	Symbolic Handling of Bridging Fault Effects.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	fault simulation, bridging faults, binary decision diagrams (BDDs)
29	Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross	Efficient variable ordering and partial representation algorithm.	VLSI Design	1995	DBLP DOI BibTeX RDF	partial representation algorithm, ordered partial decision diagrams, information-theoretic criteria, CAD problems, VLSI, data structures, data structures, entropy, Boolean functions, Boolean function, logic CAD, BDDs, variable ordering, truth table
20	Eli Arbel, Oleg Rokhlenko, Karen Yorav	SAT-based synthesis of clock gating functions using 3-valued abstraction.	FMCAD	2009	DBLP DOI BibTeX RDF
20	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
20	Jochen Eisinger, Felix Klaedtke	Don't care words with an application to the automata-based approach for real addition.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory
20	Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi	Application of Formal Word-Level Analysis to Constrained Random Simulation.	CAV	2008	DBLP DOI BibTeX RDF
20	Stefan Edelkamp, Peter Kissmann	Partial Symbolic Pattern Databases for Optimal Sequential Planning.	KI	2008	DBLP DOI BibTeX RDF
20	Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001, Donald D. Cowan	Efficient compilation techniques for large scale feature models.	GPCE	2008	DBLP DOI BibTeX RDF	formal verification, model-driven development, software-product lines, configuration, feature modeling
20	Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell	SPaC: a symbolic pareto calculator.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	binay decision diagram, pareto algeba, embedded systems
20	Esben Rune Hansen	Encoding CSPs with Zero-Suppressed Decision Diagrams.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
20	Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
20	P. W. Chandana Prasad, Ali Assi 0001, Azam Beg	Binary Decision Diagrams and neural networks.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	BDD complexity, Neural network, Binary decision diagrams, Complexity estimation
20	Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner	Exploiting interleaving semantics in symbolic state-space generation.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
20	Tarik Hadzic, John N. Hooker	Cost-Bounded Binary Decision Diagrams for 0-1 Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
20	Gérard Basler, Daniel Kroening, Georg Weissenbacher	SAT-Based Summarization for Boolean Programs.	SPIN	2007	DBLP DOI BibTeX RDF
20	Natasa Miskov-Zivanov, Diana Marculescu	Circuit Reliability Analysis Using Symbolic Techniques.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
20	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
20	Jochen Eisinger, Felix Klaedtke	Don't Care Words with an Application to the Automata-Based Approach for Real Addition.	CAV	2006	DBLP DOI BibTeX RDF
20	Felipe Machado, Teresa Riesgo, Yago Torroja	A Method for Switching Activity Analysis of VHDL-RTL Combinatorial Circuits.	PATMOS	2006	DBLP DOI BibTeX RDF
20	Ming-Hong Su, Chun-Yao Wang	High level equivalence symmetric input identification.	ASP-DAC	2006	DBLP DOI BibTeX RDF
20	Karim Boutaleb, Philippe Jégou, Cyril Terrioux	(No)good Recording and ROBDDs for Solving Structured (V)CSPs.	ICTAI	2006	DBLP DOI BibTeX RDF
20	Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel	Fast falsification based on symbolic bounded property checking.	DAC	2006	DBLP DOI BibTeX RDF	fast falsification, guiding, property checking
20	Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura	Average Path Length of Binary Decision Diagrams.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	average path length, worst-case path length, APL, Binary decision diagrams, BDD
20	Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler	Combining ordered best-first search with branch and bound for exact BDD minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
20	Nils Klarlund	Relativizations for the Logic-Automata Connection.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF
20	Rüdiger Ebendt, Rolf Drechsler	Exact BDD Minimization for Path-Related Objective Functions.	VLSI-SoC	2005	DBLP DOI BibTeX RDF
20	John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam	Using Datalog with Binary Decision Diagrams for Program Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
20	Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson	Minimization of Non-deterministic Automata with Large Alphabets.	CIAA	2005	DBLP DOI BibTeX RDF
20	Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel	Context-sensitive program analysis as database queries.	PODS	2005	DBLP DOI BibTeX RDF
20	David Ward, Fabio Somenzi	Automatic Generation of Hints for Symbolic Traversal.	CHARME	2005	DBLP DOI BibTeX RDF
20	Sebastian Kinder, Görschwin Fey, Rolf Drechsler	Controlling the Memory During Manipulation of Word-Level Decision Diagrams.	ISMVL	2005	DBLP DOI BibTeX RDF
20	Tarik Hadzic, Henrik Reif Andersen	Interactive Reconfiguration in Power Supply Restoration.	CP	2005	DBLP DOI BibTeX RDF
20	Kairong Qian, Albert Nymeyer, Steven Susanto	Experiments with Multiple Abstraction Heuristics in Symbolic Verification.	SARA	2005	DBLP DOI BibTeX RDF
20	Jun Yuan 0007, Adnan Aziz, Carl Pixley, Ken Albin	Simplifying Boolean constraint solving for random simulation-vector generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
20	HoonSang Jin, Mohammad Awedh, Fabio Somenzi	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
20	Andrew S. Miner, David Parker 0001	Symbolic Representations and Analysis of Large Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
20	Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler	Combining ordered best-first search with branch and bound for exact BDD minimization.	ASP-DAC	2004	DBLP DOI BibTeX RDF
20	Sumit Gulwani, George C. Necula	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.	SAS	2004	DBLP DOI BibTeX RDF
20	Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening	A SAT-based algorithm for reparameterization in symbolic simulation.	DAC	2004	DBLP DOI BibTeX RDF	SAT checkers, safety property checking, bounded model checking, symbolic simulation, parametric representation
20	Nikhil Saluja, Sunil P. Khatri	A robust algorithm for approximate compatible observability don't care (CODC) computation.	DAC	2004	DBLP DOI BibTeX RDF	compatible observability don't cares (CODC), multi-level logic optimization, logic synthesis
20	Wolfgang Günther 0001, Rolf Drechsler	Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	formal verification, Binary decision diagram, minimization, linear transformation
20	Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler	An improved branch and bound algorithm for exact BDD minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
20	Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler	Combination of Lower Bounds in Exact BDD Minimization.	DATE	2003	DBLP DOI BibTeX RDF
20	K. Rustan M. Leino	A SAT Characterization of Boolean-Program Correctness.	SPIN	2003	DBLP DOI BibTeX RDF
20	John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet	SBSAT: a State-Based, BDD-Based Satisfiability Solver.	SAT	2003	DBLP DOI BibTeX RDF
20	Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli	Structural Detection of Symmetries in Boolean Functions.	ICCD	2003	DBLP DOI BibTeX RDF
20	Dirk Beyer 0001, Andreas Noack	Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?	FORTE	2003	DBLP DOI BibTeX RDF
20	Albert Nymeyer, Kairong Qian	Heuristic Search Algorithms Based on Symbolic Data Structures.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	shortest path, Heuristic search, binary decision diagrams
20	Jun Yuan 0007, Ken Albin, Adnan Aziz, Carl Pixley	Simplifying Boolean constraint solving for random simulation-vector generation.	ICCAD	2002	DBLP DOI BibTeX RDF
20	In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley	Simplifying Circuits for Formal Verification Using Parametric Representation.	FMCAD	2002	DBLP DOI BibTeX RDF
20	Sava Krstic, John Matthews	Verifying BDD Algorithms through Monadic Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
20	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	PRISM: Probabilistic Symbolic Model Checker.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
20	Tuba Yavuz-Kahveci, Tevfik Bultan	Heuristics for Efficient Manipulation of Composite Constraints.	FroCoS	2002	DBLP DOI BibTeX RDF
20	Randal E. Bryant, Yirng-An Chen	Verification of arithmetic circuits using binary moment diagrams.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal verification, Computer arithmetic, Decision diagrams
20	Per Bjesse, Tim Leonard, Abdel Mokkedem	Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.	CAV	2001	DBLP DOI BibTeX RDF
20	Jun Yuan 0007, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz	Automatic Vector Generation Using Constraints and Biasing.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	constraint, probability, partitioning, BDD, biasing, vector generation
20	Christoph Scholl 0001, Bernd Becker 0001	On the Generation of Multiplexer Circuits for Pass Transistor Logic.	DATE	2000	DBLP DOI BibTeX RDF
20	Parosh Aziz Abdulla, Per Bjesse, Niklas Eén	Symbolic Reachability Analysis Based on SAT-Solvers.	TACAS	2000	DBLP DOI BibTeX RDF
20	Wolfgang Günther 0001, Rolf Drechsler	ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAs.	EUROMICRO	2000	DBLP DOI BibTeX RDF
20	Chris Wilson, David L. Dill, Randal E. Bryant	Symbolic Simulation with Approximate Values.	FMCAD	2000	DBLP DOI BibTeX RDF
20	Yuan Lu 0004, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita	Efficient variable ordering using aBDD based sampling.	DAC	2000	DBLP DOI BibTeX RDF
20	Gianpiero Cabodi, Stefano Quer, Fabio Somenzi	Optimizing sequential verification by retiming transformations.	DAC	2000	DBLP DOI BibTeX RDF
20	Nils Klarlund	A Theory of Restrictions for Logics and Automata.	CAV	1999	DBLP DOI BibTeX RDF
20	Xinyu Zang, Hairong Sun, Kishor S. Trivedi	Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.	FTCS	1999	DBLP DOI BibTeX RDF
20	Enric Pastor, Jordi Cortadella, Marco A. Peña	Structural Methods to Improve the Symbolic Analysis of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
20	Armin Biere, Edmund M. Clarke, Yunshan Zhu	Multiple State and Single State Tableaux for Combining Local and Global Model Checking.	Correct System Design	1999	DBLP DOI BibTeX RDF
20	Kavita Ravi, Fabio Somenzi	Hints to accelerate Symbolic Traversal.	CHARME	1999	DBLP DOI BibTeX RDF
20	Masahito Kurihara, Hisashi Kondo	Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
20	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Auxiliary variables for BDD-based representation and manipulation of Boolean functions.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	finite state machines, binary decision diagrams, reachability analysis, functional decompositions
20	Jayram S. Thathachar	On the Limitations of Ordered Representations of Functions.	CAV	1998	DBLP DOI BibTeX RDF
20	Krzysztof Bilinski, Erik L. Dagless	Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.	ACSD	1998	DBLP DOI BibTeX RDF