Fast exact minimization of BDDs
DAC '98 Proceedings of the 35th annual Design Automation Conference
Efficient Boolean Manipulation with OBDD's Can be Extended to FBDD's
IEEE Transactions on Computers
Integration, the VLSI Journal
MuTaTe: an efficient design for testability technique for multiplexor based circuits
Proceedings of the 13th ACM Great Lakes symposium on VLSI
Decision Diagrams in Synthesis - Algorithms, Applications and Extensions
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Bridging fault testability of BDD circuits
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Synthesis of irregular combinational functions with large don't care sets
Proceedings of the 17th ACM Great Lakes symposium on VLSI
On the construction of small fully testable circuits with low depth
Microprocessors & Microsystems
A genetic algorithm for the construction of small and highly testable OKFDD-circuits
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Hi-index | 0.00 |