Search results for "BDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Rolf Drechsler, Wolfgang Günther 0001	History-based dynamic BDD minimization.	Integr.	2001	DBLP DOI BibTeX RDF
17	Matthias Krause 0001	BDD-based Cryptanalysis of Keystream Generators	Electron. Colloquium Comput. Complex.	2001	DBLP BibTeX RDF
17	Matthias Krause 0001	BDD-based Cryptanalysis of Keystream Generators.	IACR Cryptol. ePrint Arch.	2001	DBLP BibTeX RDF
17	Javier Esparza, Stefan Schwoon	A BDD-Based Model Checker for Recursive Programs.	CAV	2001	DBLP DOI BibTeX RDF
17	Shin-ichi Minato, Shinya Ishihara	Streaming BDD manipulation for large-scale combinatorial problems.	DATE	2001	DBLP DOI BibTeX RDF
17	David Déharbe, Jorgiano Márcio Bruno Vidal	Optimizing BDD-Based Verification Analysing Variable Dependencies.	SBCCI	2001	DBLP BibTeX RDF
17	William N. N. Hung, Xiaoyu Song	BDD Variable Ordering by Scatter Search.	ICCD	2001	DBLP DOI BibTeX RDF
17	Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas	Exact path delay grading with fundamental BDD operations.	ITC	2001	DBLP DOI BibTeX RDF
17	Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy	Bypassing BDD construction for reliability analysis.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
17	Steffen Hölldobler, Hans-Peter Störr	BDD-based reasoning in the fluent calculus - first results	CoRR	2000	DBLP BibTeX RDF
17	Riccardo Forth, Paul Molitor	An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines.	ASP-DAC	2000	DBLP DOI BibTeX RDF
17	Ayman Mohamed Wahba	BDD/AOG-based algorithm for multiple error rectification in combinational circuits.	ICECS	2000	DBLP DOI BibTeX RDF
17	Dirk Beyer 0001, Andreas Noack	BDD-basierte Verifikation von Echtzeit-Systemen.	FBT	2000	DBLP BibTeX RDF
17	Masahito Kurihara, Hisashi Kondo	BDD encoding for partial order constraints and its application to expert systems in software verification domains.	SMC	2000	DBLP DOI BibTeX RDF
17	Heraldo Maciel França Madeira, Junior Barrera	Incremental Evaluation of BDD-Represented Set Operators.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators
17	Arno Wagner	WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW.	GI Jahrestagung	2000	DBLP DOI BibTeX RDF
17	Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng	Static property checking using ATPG vs. BDD techniques.	ITC	2000	DBLP DOI BibTeX RDF
17	Christoph Scholl 0001, Dirk Möller, Paul Molitor, Rolf Drechsler	BDD minimization using symmetries.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
17	Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener	On the complexity of the hidden weighted bit function for various BDD models.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
17	Nils Klarlund	An n log n Algorithm for Online BDD Refinement.	J. Algorithms	1999	DBLP DOI BibTeX RDF
17	Serge Colin, Frédéric Mesnard, Antoine Rauzy	Un module Prolog de mu-calcul booléen: une réalisation par BDD.	JFPLC	1999	DBLP BibTeX RDF
17	Amit Narayon	Recent Advances in BDD Based Representations for Boolean Functions: A Survey.	VLSI Design	1999	DBLP DOI BibTeX RDF
17	Rolf Drechsler, Wolfgang Günther 0001	Using Lower Bounds During Dynamic BDD Minimization.	DAC	1999	DBLP DOI BibTeX RDF
17	Rolf Drechsler, Wolfgang Günther 0001	History-Based Dynamic Minimization During BDD Construction.	VLSI	1999	DBLP BibTeX RDF
17	Christoph Meinel, Harald Sack	Xor-OBDDs - a BDD Structure for Probabilistic Verification	Universität Trier, Mathematik/Informatik, Forschungsbericht	1998	RDF
17	Christoph Meinel, Harald Sack	Parity-OBDDs - a BDD structure for Probabilistic Verification.	PROBMIV	1998	DBLP DOI BibTeX RDF
17	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
17	Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.	CAV	1998	DBLP DOI BibTeX RDF
17	Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron	Space- and Time-Efficient BDD Construction via Working Set Control.	ASP-DAC	1998	DBLP DOI BibTeX RDF
17	Justin E. Harlow III, Franc Brglez	Design of experiments in BDD variable ordering: lessons learned.	ICCAD	1998	DBLP DOI BibTeX RDF	circuit mutants, benchmarking, design of experiments, equivalence class
17	David E. Long	The design of a cache-friendly BDD library.	ICCAD	1998	DBLP DOI BibTeX RDF
17	Beate Bollig	Komplexitätsanalysen für BDD-artige Datenstrukturen.		1998	RDF
17	C. A. J. van Eijk	A BDD-based verification method for large synthesized circuits.	Integr.	1997	DBLP DOI BibTeX RDF
17	Christoph Meinel, Anna Slobodová	A Unifying Theoretical Background for Some Bdd-based Data Structures.	Formal Methods Syst. Des.	1997	DBLP DOI BibTeX RDF
17	Jie-Hong R. Jiang, Jing-Yang Jou, Juinn-Dar Huang, Jung-Shian Wei	BDD based lambda set selection in Roth-Karp decomposition for LUT architecture.	ASP-DAC	1997	DBLP DOI BibTeX RDF
17	Tsuyoshi Shinogi, Terumine Hayashi, Kazuo Taki	Test Generation for Stuck-On Faults in BDD-Based Pass-Transistor Logic SPL.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	DFT circuit, test generation, pass-transistor logic, stuck-on fault
17	Frank Reffel	Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung.	FBT	1997	DBLP BibTeX RDF
17	Rajeev K. Ranjan 0001, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions.	ICCD	1997	DBLP DOI BibTeX RDF
17	Ruchir Puri, Jun Gu	A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study.	Ann. Math. Artif. Intell.	1996	DBLP DOI BibTeX RDF
17	Andreas Hett, Bernd Becker 0001, Rolf Drechsler	MORE: an alternative implementation of BDD packages by multi-operand synthesis.	EURO-DAC	1996	DBLP DOI BibTeX RDF
17	Enrico Macii, Massimo Poncino, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto	BDD-based testability estimation of VHDL designs.	EURO-DAC	1996	DBLP DOI BibTeX RDF
17	Ellen Sentovich	A Brief Study of BDD Package Performance.	FMCAD	1996	DBLP DOI BibTeX RDF
17	Jagesh V. Sanghavi, Rajeev K. Ranjan 0001, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	High Performance BDD Package By Exploiting Memory Hiercharchy.	DAC	1996	DBLP DOI BibTeX RDF
17	Tony Stornetta, Forrest Brewer	Implementation of an Efficient Parallel BDD Package.	DAC	1996	DBLP DOI BibTeX RDF
17	Scott Hazelhurst, Carl-Johan H. Seger	A simple theorem prover based on symbolic trajectory evaluation and BDD's.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
17	Jean Goubault	A BDD-Based Simplification and Skolemization Procedure.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
17	Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan	Testing Language Containment for omega-Automata Using BDD's	Inf. Comput.	1995	DBLP DOI BibTeX RDF
17	Oriol Roig, Jordi Cortadella, Enric Pastor	Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
17	Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev	Checking signal transition graph implementability by symbolic BDD traversal.	ED&TC	1995	DBLP DOI BibTeX RDF
17	Rainer Leupers, Peter Marwedel	A BDD-based frontend for retargetable compilers.	ED&TC	1995	DBLP DOI BibTeX RDF
17	Alexey Glebov, David T. Blaauw, Larry G. Jones	Transistor reordering for low power CMOS gates using an SP-BDD representation.	ISLPD	1995	DBLP DOI BibTeX RDF
17	Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice	A BDD Based Algorithm for Detecting Difficult Faults.	ISCAS	1995	DBLP BibTeX RDF
17	Bechir Ayari, Bozena Kaminska	BDD-FTEST: Fast, Backtrack-Free Test Generator Based on Binary Decision Diagram Representation.	ISCAS	1995	DBLP BibTeX RDF
17	Shinji Kimura	Residue BDD and Its Application to the Verification of Arithmetic Circuits.	DAC	1995	DBLP DOI BibTeX RDF
17	Christoph Meinel, Anna Slobodová	A Unifying Theoretical Background for Some BDD-based Data Structures	Universität Trier, Mathematik/Informatik, Forschungsbericht	1994	RDF
17	Fabrizio Ferrandi	Reduction of fault detection costs through a BDD formalism.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
17	Gianpiero Cabodi, Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda	A BDD Package For A Massively Parallel SIMD Architecture.	PDP	1994	DBLP DOI BibTeX RDF
17	C. A. J. van Eijk, Geert Janssen	Exploiting Structural Similarities in a BDD-Based Verification Method.	TPCD	1994	DBLP DOI BibTeX RDF
17	Rolf Drechsler	BiTeS: a BDD based test pattern generator for strong robust path delay faults.	EURO-DAC	1994	DBLP DOI BibTeX RDF
17	Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová	Boolean Manipulation with Free BDD's. First Experimental Results.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
17	Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin	Parallel implementation of BDD Algorithms using a Distributed Shared Memory.	HICSS (1)	1994	DBLP BibTeX RDF
17	Adnan Aziz, Serdar Tasiran, Robert K. Brayton	BDD Variable Ordering for Interacting Finite State Machines.	DAC	1994	DBLP DOI BibTeX RDF
17	Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan 0001, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	HSIS: A BDD-Based Environment for Formal Verification.	DAC	1994	DBLP DOI BibTeX RDF	VHDL
17	Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová	Boolean Manipulation with Free BDD's - First Experimental Results	Universität Trier, Mathematik/Informatik, Forschungsbericht	1993	RDF
17	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF
17	Rolf Krieger, Bernd Becker 0001, R. Sinkovic	A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities.	FTCS	1993	DBLP DOI BibTeX RDF
17	Eric Felt, Gary York, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Dynamic variable reordering for BDD minimization.	EURO-DAC	1993	DBLP DOI BibTeX RDF
17	Yasushi Koseko, Takuji Ogihara, Shinichi Murai	Tri-state bus conflict checking method for ATPG using BDD.	ICCAD	1993	DBLP DOI BibTeX RDF
17	Jeffrey J. Joyce, Carl-Johan H. Seger	Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving.	DAC	1993	DBLP DOI BibTeX RDF
17	Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula	BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis.	DAC	1993	DBLP DOI BibTeX RDF
17	Alan J. Hu, David L. Dill	Reducing BDD Size by Exploiting Functional Dependencies.	DAC	1993	DBLP DOI BibTeX RDF
17	Timothy Kam, P. A. Subrahmanyam	State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis.	EURO-DAC	1992	DBLP DOI BibTeX RDF
17	William K. C. Lam, Robert K. Brayton	On Relationship Between ITE and BDD.	ICCD	1992	DBLP DOI BibTeX RDF
17	Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi	Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms.	ICCAD	1991	DBLP DOI BibTeX RDF
17	Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima	Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets.	ICCAD	1991	DBLP DOI BibTeX RDF
17	Karl S. Brace, Richard L. Rudell, Randal E. Bryant	Efficient Implementation of a BDD Package.	DAC	1990	DBLP DOI BibTeX RDF
9	Hongxin Hu, Gail-Joon Ahn, Ketan Kulkarni	Anomaly discovery and resolution in web access control policies.	SACMAT	2011	DBLP DOI BibTeX RDF
9	Graham D. Price, Manish Vachharajani	Large program trace analysis and compression with ZDDs.	CGO	2010	DBLP DOI BibTeX RDF	parallel programming, trace compression
9	Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz	Analyzing k-step induction to compute invariants for SAT-based property checking.	DAC	2010	DBLP DOI BibTeX RDF	k-step induction, symbolic traversal, invariants, IPC
9	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
9	Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
9	Daniel Brolund	Documentation by Example.	XP	2009	DBLP DOI BibTeX RDF	behavior-driven development, Bumblebee, Java, documentation, test-driven development, JUnit, example, snippet
9	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
9	Warren A. Hunt Jr., Sol Swords	Centaur Technology Media Unit Verification.	CAV	2009	DBLP DOI BibTeX RDF
9	Alessandro Ferrante, Margherita Napoli, Mimmo Parente	Graded-CTL: Satisfiability and Symbolic Model Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
9	Vinay Saripalli, Vijaykrishnan Narayanan, Suman Datta	Ultra Low Energy Binary Decision Diagram Circuits Using Few Electron Transistors.	NanoNet	2009	DBLP DOI BibTeX RDF	low-energy circuits, single electron transistors, binary decision diagram logic circuits
9	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
9	Jérôme Leroux, Gérald Point	TaPAS: The Talence Presburger Arithmetic Suite.	TACAS	2009	DBLP DOI BibTeX RDF
9	Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki	Safe clocking for the setup and hold timing constraints in datapath synthesis.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	ordered clocking, register assignment, datapath synthesis
9	Yakir Vizel, Orna Grumberg	Interpolation-sequence based model checking.	FMCAD	2009	DBLP DOI BibTeX RDF
9	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
9	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
9	Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen	Novel Probabilistic Combinational Equivalence Checking.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
9	Rudolf Berghammer	Applying relation algebra and Rel View to solve problems on orders and lattices.	Acta Informatica	2008	DBLP DOI BibTeX RDF
9	Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu	Automated assumption generation for compositional verification.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
9	Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown	Scalable Synthesis and Clustering Techniques Using Decision Diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
9	Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya	Efficient guided symbolic reachability using reachability expressions.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
9	Jörn Ossowski, Christel Baier	A uniform framework for weighted decision diagrams and its implementation.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
9	Nenad Miladinovic, Marc P. C. Fossorier	Generalized LDPC codes and generalized stopping sets.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
9	Graham D. Price, John Giacomoni, Manish Vachharajani	Visualizing potential parallelism in sequential programs.	PACT	2008	DBLP DOI BibTeX RDF	thread extraction, visualization, parallel programming