Search results for "BDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Gianpiero Cabodi, Sergio Nocco, Stefano Quer	Are BDDs still alive within sequential verification?	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Approximate-reachability, Model checking, Binary Decision Diagrams, Satisfiability solvers
20	Bahareh Badban, Jaco van de Pol	Zero, successor and equality in BDDs.	Ann. Pure Appl. Log.	2005	DBLP DOI BibTeX RDF
20	Mukul S. Bansal, V. Ch. Venkaiah	A note on finding a maximum clique in a graph using BDDs.	Australas. J Comb.	2005	DBLP BibTeX RDF
20	Shin-ichi Minato	VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs.	Federation over the Web	2005	DBLP DOI BibTeX RDF
20	Stephen Plaza, Valeria Bertacco	STACCATO: disjoint support decompositions from BDDs through symbolic kernels.	ASP-DAC	2005	DBLP DOI BibTeX RDF
20	Moi Riba, Jatindra Kumar Deka	Variable Ordering of BDDs using Genetic Algorithm.	IICAI	2005	DBLP BibTeX RDF
20	Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman	Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs.	EDCC	2005	DBLP DOI BibTeX RDF
20	Rolf Drechsler, Junhao Shi, Görschwin Fey	Synthesis of fully testable circuits from BDDs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
20	Ingo Wegener	BDDs--design, analysis, complexity, and applications.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
20	Saravanan Padmanaban, Spyros Tragoudas	Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults.	DATE	2004	DBLP DOI BibTeX RDF
20	Thomas Eschbach, Rolf Drechsler, Bernd Becker 0001	Placement and routing optimization for circuits derived from BDDs.	ISCAS (5)	2004	DBLP BibTeX RDF
20	Rüdiger Ebendt	Heuristic and exact optimization of reduced ordered binary decision diagrams (BDDs).		2004	RDF
20	Mario Hilgemeier, Nicole Drechsler, Rolf Drechsler	Minimizing the number of one-paths in BDDs by an evolutionary algorithm.	IEEE Congress on Evolutionary Computation	2003	DBLP DOI BibTeX RDF
20	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	A comparison of BDDs, BMC, and sequential SAT for model checking.	HLDVT	2003	DBLP DOI BibTeX RDF
20	Norbert Th. Müller	Real Numbers and BDDs.	CCA	2002	DBLP DOI BibTeX RDF
20	Mitchell A. Thornton, Rolf Drechsler, Wolfgang Günther 0001	Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs.	VLSI Design	2002	DBLP DOI BibTeX RDF
20	Wolfgang Günther 0001, Rolf Drechsler	Minimization of free BDDs.	Integr.	2002	DBLP DOI BibTeX RDF
20	Yusuke Matsunaga	An Efficient Algorithm Finding Simple Disjoint Decompositions Using BDDs.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2002	DBLP BibTeX RDF
20	Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita	Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.	Formal Methods Syst. Des.	2002	DBLP DOI BibTeX RDF
20	Nikos Gorogiannis, Mark Ryan 0001	Implementation of Belief Change Operators Using BDDs.	Stud Logica	2002	DBLP DOI BibTeX RDF
20	Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah	Search-Based SAT Using Zero-Suppressed BDDs.	DATE	2002	DBLP DOI BibTeX RDF
20	Felipe S. Marques 0001, Vinícius P. Correia, A. Prado, Marcelo Lubaszewski, André Inácio Reis	Testability Properties of BDDs.	SBCCI	2002	DBLP BibTeX RDF
20	Görschwin Fey, Rolf Drechsler	Minimizing the Number of Paths in BDDs.	SBCCI	2002	DBLP BibTeX RDF
20	Koichi Takahashi, Masami Hagiya	Searching for Mutual Exclusion Algorithms Using BDDs.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
20	Jorgiano Vidal, David Déharbe, Dominique Borrione	Improving Static Ordering of BDDs for Reachability Analysis.	IWLS	2002	DBLP BibTeX RDF
20	Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi	A New Heuristic for Bad Cycle Detection Using BDDs.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
20	Sérgio Vale Aguiar Campos, Edmund M. Clarke	The Verus language: representing time efficiently with BDDs.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Janett Mohnke, Paul Molitor, Sharad Malik	Application of BDDs in Boolean matching techniques for formal logic combinational verification.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Permutation independent comparison of Boolean functions, Signature of Boolean variables, Formal verification
20	Koichi Masukura, Minoru Tomisaka, Tomohiro Yoneda	Verification of asynchronous circuits based on zero-suppressed BDDs.	Syst. Comput. Jpn.	2001	DBLP DOI BibTeX RDF
20	Sérgio Queiroz de Medeiros, David Déharbe	BDDmeter - Uma Ferramenta para Visualização Dinâmica de BDDs.	SBES	2001	DBLP DOI BibTeX RDF
20	Katarzyna Radecka, Zeljko Zilic, Karim Khordoc	Combinational verification by simulations, SAT and BDDs.	ICECS	2001	DBLP DOI BibTeX RDF
20	Dirk Beyer 0001	Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.	CHARME	2001	DBLP DOI BibTeX RDF	Real-time systems, Formal verification, Timed Automata
20	Rupesh S. Shelar, Sachin S. Sapatnekar	Recursive Bipartitioning of BDDs for Performance Driven Synthesis of Pass Transistor Logic Circuits.	ICCAD	2001	DBLP DOI BibTeX RDF
20	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Faster SAT and Smaller BDDs via Common Function Structure.	ICCAD	2001	DBLP DOI BibTeX RDF
20	Aarti Gupta, Zijiang Yang 0006, Pranav Ashar, Lintao Zhang, Sharad Malik	Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.	ICCAD	2001	DBLP DOI BibTeX RDF
20	Bernd Finkbeiner	Language Containment Checking with Nondeterministic BDDs.	TACAS	2001	DBLP DOI BibTeX RDF
20	Alfonso San Miguel Aguirre, Moshe Y. Vardi	Random 3-SAT and BDDs: The Plot Thickens Further.	CP	2001	DBLP DOI BibTeX RDF
20	Amit Prakash, Adnan Aziz	OC-3072 packet classification using BDDs and pipelined SRAMs.	Hot Interconnects	2001	DBLP DOI BibTeX RDF
20	Wolfgang Günther 0001, Rolf Drechsler	On the computational power of linearly transformed BDDs.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
20	Martin Sauerhoff	An Improved Hierarchy Result for Partitioned BDDs	Electron. Colloquium Comput. Complex.	2000	DBLP BibTeX RDF
20	André Inácio Reis, A. Prado, Marcelo Lubaszewski	Testability Properties of Vertex Precedent BDDs.	SBCCI	2000	DBLP BibTeX RDF
20	Ramesh Bharadwaj, Steve Sims	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.	TACAS	2000	DBLP DOI BibTeX RDF
20	Viresh Paruthi, Andreas Kuehlmann	Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation.	ICCD	2000	DBLP DOI BibTeX RDF
20	Stefan Edelkamp	Heuristic Search Planning with BDDs.	PuK	2000	DBLP BibTeX RDF
20	Rolf Drechsler, Wolfgang Günther 0001	Optimization of sequential verification by history-based dynamic minimization of BDDs.	ISCAS	2000	DBLP DOI BibTeX RDF
20	Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira	Variable Ordering of BDDs with Parallel Genetic Algorithms.	PDPTA	2000	DBLP BibTeX RDF
20	Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke	Model Checking Semi-Continuous Time Models Using BDDs.	SMC@FLoC	1999	DBLP DOI BibTeX RDF
20	Patrice Godefroid, David E. Long	Symbolic Protocol Verification with Queue BDDs.	Formal Methods Syst. Des.	1999	DBLP DOI BibTeX RDF
20	Markus Siegle	Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs.	MMB	1999	DBLP BibTeX RDF
20	Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu	Symbolic Model Checking Using SAT Procedures instead of BDDs.	DAC	1999	DBLP DOI BibTeX RDF
20	Olaf Schröer, Ingo Wegener	The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours.	Formal Methods Syst. Des.	1998	DBLP DOI BibTeX RDF
20	Gianpiero Cabodi, Stefano Quer, Paolo Camurati	Memory Optimization in Function and Set Manipulation with BDDs.	Softw. Pract. Exp.	1998	DBLP DOI BibTeX RDF
20	Harry Preuß, Anand Srivastav	Blockwise Variable Orderings for Shared BDDs.	MFCS	1998	DBLP DOI BibTeX RDF
20	Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski	Automated Verification of Communication Protocols Using CCS and BDDs.	IPPS/SPDP Workshops	1998	DBLP DOI BibTeX RDF
20	G. L. J. M. Janssen	Implementation of Propositional Temporal Logics Using BDDs.	TABLEAUX	1998	DBLP DOI BibTeX RDF
20	Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha	An Exact Input Encoding Algorithm for BDDs Representing FSMs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	input encoding, finite state machines, binary decision diagrams, multi-valued decision diagrams
20	Wolfgang Günther 0001, Rolf Drechsler	Linear Transformations and Exact Minimization of BDDs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	FPGA, synthesis, BDD, linear transformation, variable ordering, spectral transformation
20	Shin-ichi Minato, Fabio Somenzi	Arithmetic Boolean Expression Manipulator Using BDDs.	Formal Methods Syst. Des.	1997	DBLP DOI BibTeX RDF
20	Gueesang Lee	Logic synthesis for cellular architecture FPGAs using BDDs.	ASP-DAC	1997	DBLP DOI BibTeX RDF
20	F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni	Boolean Function Manipulation on a Parallel System Using BDDs.	HPCN	1997	DBLP DOI BibTeX RDF
20	David Déharbe, Anamaria Martins Moreira	Using induction and BDDs to model check invariants.	CHARME	1997	DBLP BibTeX RDF
20	Somesh Jha, Yuan Lu 0004, Marius Minea, Edmund M. Clarke	Equivalence Checking Using Abstract BDDs.	ICCD	1997	DBLP DOI BibTeX RDF
20	Sérgio Vale Aguiar Campos, Edmund M. Clarke	The Verus Language: Representing Time Efficiently with BDDs.	ARTS	1997	DBLP DOI BibTeX RDF
20	Jan Friso Groote	Hiding Propositional Constants in BDDs.	Formal Methods Syst. Des.	1996	DBLP DOI BibTeX RDF
20	Zeljko Zilic, Zvonko G. Vranesic	Using BDDs to Design ULMs for FPGAs.	FPGA	1996	DBLP DOI BibTeX RDF
20	Patrice Godefroid, David E. Long	Symbolic Protocol Verification With Queue BDDs.	LICS	1996	DBLP DOI BibTeX RDF
20	Shin-ichi Minato	Generation of BDDs from hardware algorithm descriptions.	ICCAD	1996	DBLP DOI BibTeX RDF	LSI CAD, logic synthesis, BDD, design verification, hardware algorithm
20	Detlef Sieling, Ingo Wegener	Graph Driven BDDs - A New Data Structure for Boolean Functions.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
20	Bernd Becker 0001, Rolf Drechsler, Ralph Werchner	On the Relation between BDDs and FDDs.	Inf. Comput.	1995	DBLP DOI BibTeX RDF
20	Stacy A. Doyle, Joanne Bechta Dugan	Dependability Assessment using Binary Decision Diagrams (BDDs).	FTCS	1995	DBLP DOI BibTeX RDF
20	S. Minato	Implicit manipulation of polynomials using zero-suppressed BDDs.	ED&TC	1995	DBLP DOI BibTeX RDF
20	Shinya Ishihara, Shin-ichi Minato	Manipulation of regular expressions under length constraints using zero-suppressed-BDDs.	ASP-DAC	1995	DBLP DOI BibTeX RDF
20	Giacomo Buonanno, Fabrizio Ferrandi, Donatella Sciuto	Data Path Testability Analysis Based on BDDs.	ISCAS	1995	DBLP BibTeX RDF
20	Bernd Becker 0001, Rolf Drechsler, Ralph Werchner	On the Relation Betwen BDDs and FDDs.	LATIN	1995	DBLP DOI BibTeX RDF
20	Bernard Plessier, Gary D. Hachtel, Fabio Somenzi	Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms.	Formal Methods Syst. Des.	1994	DBLP DOI BibTeX RDF
20	James R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell	Efficient Algorithmic Circuit Verification Using Indexed BDDs.	FTCS	1994	DBLP DOI BibTeX RDF
20	Jordan Gergov, Christoph Meinel	Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification.	IFIP Congress (1)	1994	DBLP BibTeX RDF
20	Shin-ichi Minato	Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.	DAC	1994	DBLP DOI BibTeX RDF
20	Alan J. Hu, Gary York, David L. Dill	New Techniques for Efficient Verification with Implicitly Conjoined BDDs.	DAC	1994	DBLP DOI BibTeX RDF
20	Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton	Heuristic Minimization of BDDs Using Don't Cares.	DAC	1994	DBLP DOI BibTeX RDF
20	Reinhard Enders, Thomas Filkorn, Dirk Taubner	Generating BDDs for Symbolic Model Checking in CCS.	Distributed Comput.	1993	DBLP DOI BibTeX RDF
20	Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf	Hardware-Verification using First Order BDDs.	CHDL	1993	DBLP BibTeX RDF
20	Insup Lee 0001, Sanguthevar Rajasekaran	Fast Parallel Algorithms for Model Checking Using BDDs.	IPPS	1993	DBLP DOI BibTeX RDF
20	Shin-ichi Minato	Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems.	DAC	1993	DBLP DOI BibTeX RDF
20	Lech Józwiak, Hein Mijland	On the use of OR-BDDs for test generation.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
20	Jerry R. Burch	Using BDDs to Verify Multipliers.	DAC	1991	DBLP DOI BibTeX RDF
20	Hervé J. Touati, Hamid Savoj, Bill Lin 0001, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Implicit State Enumeration of Finite State Machines Using BDDs.	ICCAD	1990	DBLP DOI BibTeX RDF
19	Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen	Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
19	Martin Bravenboer, Yannis Smaragdakis	Strictly declarative specification of sophisticated points-to analyses.	OOPSLA	2009	DBLP DOI BibTeX RDF	DOOP, datalog, bdds, points-to analysis, declarative
19	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
19	Leomar S. da Rosa Jr., André Inácio Reis, Renato P. Ribas, Felipe de Souza Marques, Felipe Ribeiro Schneider	A comparative study of CMOS gates with minimum transistor stacks.	SBCCI	2007	DBLP DOI BibTeX RDF	PTL, unateness, BDDs, technology mapping, switch theory, logical effort, CMOS gates
19	Orna Grumberg, Tamir Heyman, Assaf Schuster	A work-efficient distributed algorithm for reachability analysis.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed reachability, Distributed BDDs, Symbolic model checking
19	Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	logic of equality, BDDs, uninterpreted functions
19	Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster	Scalable distributed on-the-fly symbolic model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Distributed, Memory, BDDs, Counterexample
19	Rolf Drechsler, Junhao Shi, Görschwin Fey	MuTaTe: an efficient design for testability technique for multiplexor based circuits.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	multiplexor based circuits, design for testability, logic synthesis, BDDs, decision diagrams
19	Peter Dybjer, Qiao Haiyan, Makoto Takeyama	Verifying Haskell Programs by Combining Testing and Proving.	QSIC	2003	DBLP DOI BibTeX RDF	BDDs and Haskell, program verification, random testing, type theory, proof-assistants
19	Alan Mishchenko, Tsutomu Sasao	Large-scale SOP minimization using decomposition and functional properties.	DAC	2003	DBLP DOI BibTeX RDF	SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy
19	Sasha Novakovsky, Shy Shyman, Ziyad Hanna	High capacity and automatic functional extraction tool for industrial VLSI circuit designs.	ICCAD	2002	DBLP DOI BibTeX RDF	Formal Equivalence Verification (FEV), Hardware Description Languages (HDL), Switch Level Analysis, functional abstraction, satisfiability procedures, synthesis, Design For Testability (DFT), logic simulation, Binary Decision Diagrams (BDDs)
19	Philipp Woelfel	On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism.	CCC	2002	DBLP DOI BibTeX RDF	Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
19	Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah	Satometer: how much have we searched?	DAC	2002	DBLP DOI BibTeX RDF	conflict diagnosis, search progress, search space coverage, SAT, BDDs, CNF, backtrack search, ZBDDs