Author of the publication

Abstraction of data path registers for multilevel verification of large circuits.

, , , and . Great Lakes Symposium on VLSI, page 11-14. IEEE, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Uniformly Sampled Light Fields., , and . Rendering Techniques, page 117-130. Springer, (1998)On Mapping Homogeneous Graphs on a Linear Array-Processor Model., , and . ICPP, page 440-447. IEEE Computer Society, (1983)A Methodology for Principled Approximation in Visual SLAM., , , and . PACT, page 373-386. ACM, (2020)Performance Advantages of Multithreaded Processors., , and . ICPP (1), page 97-101. CRC Press, (1991)A Biased Non-Two-Phase Locking Protocol., , and . JCDKB, page 337-361. Academic Press, (1982)Interactive lesion segmentation on dynamic contrast enhanced breast MRI using a Markov model., , , , and . Medical Imaging: Image Processing, volume 6144 of SPIE Proceedings, page 61444M. SPIE, (2006)SLAMBooster: An Application-Aware Online Controller for Approximation in Dense SLAM, , , and . 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019, page 296--310. (2019)Efficient Algorithmic Circuit Verification Using Indexed BDDs., , , , and . FTCS, page 266-275. IEEE Computer Society, (1994)Pipelined Diagnosis of Wafer-Scale Linear Arrays., , and . J. Parallel Distributed Comput., 20 (2): 212-223 (1994)Adaptive mesh generation for global diffuse illumination., and . SIGGRAPH, page 155-164. ACM, (1990)