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 |