Search results for "ROBDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Neil Kettle, Andy King, Tadeusz Strzemecki	Widening ROBDDs with Prime Implicants.	TACAS	2006	DBLP DOI BibTeX RDF	ROBDD, widening, approximation, abstract interpretation
130	Rajeev Murgai, Jawahar Jain, Masahiro Fujita	Efficient Scheduling Techniques for ROBDD Construction.	VLSI Design	1999	DBLP DOI BibTeX RDF
97	Mehdi Mohammadi, Hossein Pazhoumand-dar, Mohsen Soryani, Hossein Moeinzadeh	HS-ROBDD: an efficient variable order binary decision diagram.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	binary decision diagram (bdd)
97	Michael Langberg, Amir Pnueli, Yoav Rodeh	The ROBDD Size of Simple CNF Formulas.	CHARME	2003	DBLP DOI BibTeX RDF
75	Maxim Teslenko, Andrés Martinelli, Elena Dubrova	Bound-Set Preserving ROBDD Variable Orderings May Not Be Optimum.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	ROBDD, bound set, variable ordering
68	Karl S. Brace, Richard L. Rudell, Randal E. Bryant	Efficient Implementation of a BDD Package.	DAC	1990	DBLP DOI BibTeX RDF
63	Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Reachability analysis using partitioned-ROBDDs.	ICCAD	1997	DBLP DOI BibTeX RDF	ROBDD, Verification, Partitioning, Reachability, FSM, Symbolic, Sequential, Traversal
63	Christoph Scholl 0001, S. Melchior, Günter Hotz, Paul Molitor	Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries.	ED&TC	1997	DBLP DOI BibTeX RDF
51	Sharon Van Schaick, Kenneth B. Kent	Analysis of Variable Reordering on the QMDD Representation of Quantum Circuits.	DSD	2007	DBLP DOI BibTeX RDF
51	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
51	Amit Narayon	Recent Advances in BDD Based Representations for Boolean Functions: A Survey.	VLSI Design	1999	DBLP DOI BibTeX RDF
46	Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	A study of composition schemes for mixed apply/compose based construction of ROBDDs.	VLSI Design	1996	DBLP DOI BibTeX RDF	mixed apply/compose based construction, ROBDD, reduced ordered binary decision diagram, time-memory tradeoff, graph theory, composition, decomposition, heuristic algorithm, circuit CAD, circuit CAD, network synthesis, top down method, bottom up method
34	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
34	Liudong Xing	An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
34	Kanupriya Gulati, Nikhil Jayakumar, Sunil P. Khatri	A Structured ASIC Design Approach Using Pass Transistor Logic.	ISCAS	2007	DBLP DOI BibTeX RDF
34	Sang-Young Cho, Minna Lee, Yoojin Chung	A Microcanonical Optimization Algorithm for BDD Minimization Problem.	IEA/AIE	2007	DBLP DOI BibTeX RDF
34	Neil Kettle, Andy King	An anytime symmetry detection algorithm for ROBDDs.	ASP-DAC	2006	DBLP DOI BibTeX RDF
34	Akhilesh Shrestha, Liudong Xing, Hong Liu 0019	Infrastructure Communication Reliability of Wireless Sensor Networks.	DASC	2006	DBLP DOI BibTeX RDF
34	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.	ICSE	2004	DBLP DOI BibTeX RDF
34	Doru P. Munteanu, Víctor Suñé, Rosa Rodríguez-Montañés, Juan A. Carrasco	A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip.	DSN	2003	DBLP DOI BibTeX RDF
34	Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov, Rajendran Panda, Chanhee Oh	False-Noise Analysis Using Resolution Method.	ISQED	2002	DBLP DOI BibTeX RDF
34	Christoph Scholl 0001, Bernd Becker 0001, Andreas Brogle	The multiple variable order problem for binary decision diagrams: theory and practical application.	ASP-DAC	2001	DBLP DOI BibTeX RDF
34	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
29	Toral Shah, Anzhela Yu. Matrosova, Masahiro Fujita, Virendra Singh	Multiple Stuck-at Fault Testability Analysis of ROBDD Based Combinational Circuit Design.	J. Electron. Test.	2018	DBLP DOI BibTeX RDF
29	Toral Shah, Anzhela Yu. Matrosova, Virendra Singh	Test pattern generation to detect multiple faults in ROBDD based combinational circuits.	IOLTS	2017	DBLP DOI BibTeX RDF
29	Toral Shah, Anzhela Yu. Matrosova, Binod Kumar 0001, Masahiro Fujita, Virendra Singh	Testing multiple stuck-at faults of ROBDD based combinational circuit design.	LATS	2017	DBLP DOI BibTeX RDF
29	Akram Kalaee, Vahid Rafe	An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm.	Qual. Reliab. Eng. Int.	2016	DBLP DOI BibTeX RDF
29	Toral Shah, Virendra Singh, Anzhela Yu. Matrosova	ROBDD based path delay fault testable combinational circuit synthesis.	EWDTS	2016	DBLP DOI BibTeX RDF
29	Tongdian Wang, Huibing Zhao, Linfu Zhu	Satisfiability verification of engineering data safety rules of balise based on ROBDD.	ITSC	2016	DBLP DOI BibTeX RDF
29	Masahiko Sakai, Hidetomo Nabeshima	Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.	IEICE Trans. Inf. Syst.	2015	DBLP DOI BibTeX RDF
29	Anzhela Yu. Matrosova, Eugeniy Mitrofanov, Toral Shah	Multiple stuck-at fault testability of a combinational circuit derived by covering ROBDD nodes by Invert-And-Or sub-circuits.	EWDTS	2015	DBLP DOI BibTeX RDF
29	Yi-Hang Chen, Yang Chen, Juinn-Dar Huang	ROBDD-based area minimization synthesis for reconfigurable single-electron transistor arrays.	VLSI-DAT	2015	DBLP DOI BibTeX RDF
29	Toral Shah, Anzhela Yu. Matrosova, Virendra Singh	PDF testability of a combinational circuit derived by covering ROBDD nodes using Invert-And-Or circuits.	VDAT	2015	DBLP DOI BibTeX RDF
29	Alexey Ignatiev, Alexander A. Semenov	DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions.	SAT	2011	DBLP DOI BibTeX RDF
29	Ondrej Lhoták, Stephen Curial, José Nelson Amaral	An Optimal Encoding to Represent a Single Set in an ROBDD.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	set representation, Binary decision diagram, binary encoding
29	Juan A. Carrasco, Víctor Suñé	An ROBDD-Based Combinatorial Method for the Evaluation of Yield of Defect-Tolerant Systems-on-Chip.	IEEE Trans. Very Large Scale Integr. Syst.	2009	DBLP DOI BibTeX RDF
29	Neil Kettle	Anytime algorithms for ROBDD symmetry detection and approximation.		2008	RDF
29	Anjela Yu. Matrosova, Ekaterina Loukovnikova, Sergei Ostanin, Alexandra Zinchuk, Ekaterina Nikolaeva	Test Generation for Single and Multiple Stuck-at Faults of a Combinational Circuit Designed by Covering Shared ROBDD with CLBs.	DFT	2007	DBLP DOI BibTeX RDF
29	Mohamed Raseen, P. W. Chandana Prasad, Ali Assi 0001	An efficient estimation of the ROBDD's complexity.	Integr.	2006	DBLP DOI BibTeX RDF
29	Ulf Milanese	Zur Implementierung eines ROBDD-basierten Systems für die Manipulation und Visualisierung von Relationen.		2003	RDF
29	Barbara Leoniuk	ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen.		2001	RDF
29	Roberto Bagnara, Peter Schachte	Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
29	Roberto Bagnara, Peter Schachte	Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos.	AMAST	1998	DBLP DOI BibTeX RDF
29	Jawahar Jain, Amit Narayan, C. Coelho 0001, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita	Decomposition Techniques for Efficient ROBDD Construction.	FMCAD	1996	DBLP DOI BibTeX RDF
29	Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Marek-Sadowska	Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
29	Pi-Yu Chung, Ibrahim N. Hajj, Janak H. Patel	Efficient Variable Ordering Heuristics for Shared ROBDD.	ISCAS	1993	DBLP BibTeX RDF
17	Jenny Leung, Jozsef Dudas, Glenn H. Chapman, Israel Koren, Zahava Koren	Quantitative Analysis of In-Field Defects in Image Sensor Arrays.	DFT	2007	DBLP DOI BibTeX RDF
17	Chunjie Duan, Kanupriya Gulati, Sunil P. Khatri	Memory-based crosstalk canceling CODECs for on-chip buses.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Jaco van de Pol, Olga Tveretina	A BDD-Representation for the Logic of Equality and Uninterpreted Functions.	MFCS	2005	DBLP DOI BibTeX RDF
17	Liudong Xing, Akhilesh Shrestha	Distributed Computer Systems Reliability Considering Imperfect Coverage and Common-Cause Failures.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
17	Kameshwar Chandrasekar, Michael S. Hsiao	Forward image computation with backtracing ATPG and incremental state-set construction.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	model checking, ATPG, image computation, ZBDDs
17	Herng-Jer Lee, Ming-Hong Lai, Chia-Chi Chu, Wu-Shiung Feng	Applications of tree/link partitioning for moment computations of general lumped RLC networks with resistor loops.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
17	Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey	Set Bounds and (Split) Set Domain Propagation Using ROBDDs.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
17	P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh	Improved Variable Ordering for ROBDDs.	ICADL	2003	DBLP DOI BibTeX RDF
17	Shinobu Nagayama, Tsutomu Sasao	Compact Representations of Logic Functions using Heterogeneous MDDs.	ISMVL	2003	DBLP DOI BibTeX RDF
17	Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov	False-noise analysis using logic implications.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	circuit logic, VLSI (very large scale integration), noise analysis
17	Vitaly Lagoon, Peter J. Stuckey	Precise pair-sharing analysis of logic programs.	PPDP	2002	DBLP DOI BibTeX RDF	program analysis, sharing
17	Alfonso San Miguel Aguirre, Moshe Y. Vardi	Random 3-SAT and BDDs: The Plot Thickens Further.	CP	2001	DBLP DOI BibTeX RDF
17	Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou 0001, Michel Langevin, Otmane Aït Mohamed	Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
17	Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti 0001	Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.	VLSI Design	1999	DBLP DOI BibTeX RDF
17	D. Michael Miller	An improved method for computing a generalized spectral coefficient.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
17	Roberto Bagnara	A Reactive Implementation of Pos Using ROBDDs.	PLILP	1996	DBLP DOI BibTeX RDF
17	Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli	Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.	ICCAD	1996	DBLP DOI BibTeX RDF	Boolean space, Partitioned ROBDDs, complex industrial circuits, manipulable representation, reduced ordered binary decision diagrams, Boolean functions
17	Michel Langevin, Sofiène Tahar, Zijian Zhou 0001, Xiaoyu Song, Eduard Cerny	Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.	ICCD	1996	DBLP DOI BibTeX RDF
17	Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann	Model Checking Using Adaptive State and Data Abstraction.	CAV	1994	DBLP DOI BibTeX RDF	ACTL, state partitioning, model checking, abstract interpretation, binary decision diagrams (BDDs)
17	Pranav Ashar, Matthew Cheong	Efficient breadth-first manipulation of binary decision diagrams.	ICCAD	1994	DBLP DOI BibTeX RDF