Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Generalized Transforms for Multiple Valued Circuits and Their Fault Detection
IEEE Transactions on Computers
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Spectral Techniques in Digital Logic
Spectral Techniques in Digital Logic
A spectral method for Boolean function matching
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Finite Orthogonal Series in Design of Digital Devices
Finite Orthogonal Series in Design of Digital Devices
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Proceedings of the 12th ACM Great Lakes symposium on VLSI
Mixed-radix MVL Function Spectral and Decision Diagram Representation
Automation and Remote Control
Hi-index | 0.00 |