David Van Campenhout

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. ICALP (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
David Van Campenhout, Trevor N. Mudge, John P. Hayes
Collection and Analysis of Microprocessor Design Errors. IEEE Des. Test Comput. 17 (4) (2000)
David Van Campenhout, Trevor N. Mudge, John P. Hayes
High-Level Test Generation for Design Verification of Pipelined Microprocessors. DAC (1999)
David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah
Timing verification of sequential dynamic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (5) (1999)
David Van Campenhout, Hussain Al-Asaad, John P. Hayes, Trevor N. Mudge, Richard B. Brown
High-level design verification of microprocessors via error modeling. ACM Trans. Design Autom. Electr. Syst. 3 (4) (1998)
James K. Huggins, David Van Campenhout
Specification and verification of pipelining in the ARM2 RISC microprocessor. ACM Trans. Design Autom. Electr. Syst. 3 (4) (1998)
David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah
Timing verification of sequential domino circuits. ICCAD (1996)
Dirk Daneels, David Van Campenhout, Wayne Niblack, William Equitz, Ron Barber, Erwin Bellon, Freddy Fierens
Interactive Outlining: An Improved Approach Using Active Contours. Storage and Retrieval for Image and Video Databases (SPIE) (1993)