Harold W. Carter

A Formal Framework for Specifying and Verifying Time Warp Optimizations

Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1999, IPPS/SPDP Workshops.

Modeling and simulating semiconductor devices using VHDL-AMS

Harold W. Carter, Vishwashanth R. Kasulasrinivas, 2000, Proceedings 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation.

Parallel synchronization of continuous time discrete event simulators

Philip A. Wilsey, Harold W. Carter, Peter Frey, 1997, Proceedings of the 1997 International Conference on Parallel Processing (Cat. No.97TB100162).

Optimizing costs of web-based modeling and simulation

Philip A. Wilsey, Dhananjai Madhava Rao, Harold W. Carter, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

SEAMS: simulation environment for VHDL-AMS

Peter Frey, Harold W. Carter, Kathiresan Nellayappan, 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

Computer-Aided Design of Integrated Circuits

Harold W. Carter, 1986, Computer.

Development, Exploitation, and Transition of Computer Aided Engineering (CAE) Tools

Harold W. Carter, 2003 .

Occurrence and Simulation of Index-3 DAEs in VLSI Circuits

Raghuram Srinivasan, Harold W. Carter, 2008, 2008 IEEE International Behavioral Modeling and Simulation Workshop.

A taylor series methodology for analyzing the effects of process variation on circuit operation

Raghuram Srinivasan, Harold W. Carter, H. Carter, 2009, GLSVLSI '09.

Fast multivariate signature generation in hardware: The case of rainbow

Andrey Bogdanov, Jintai Ding, Andy Rupp, 2008, 2008 International Conference on Application-Specific Systems, Architectures and Processors.

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 2002, IEEE Trans. Software Eng..

Efficient Single-Layer Routing Along a Line of Points

Melvin A. Breuer, Harold W. Carter, 1983, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Fast Multivariate Signature Generation in Hardware: The Case of Rainbow

Andrey Bogdanov, Jintai Ding, Andy Rupp, 2008, 2008 16th International Symposium on Field-Programmable Custom Computing Machines.

Incremental Processing Applied to Steinberg's Placement Procedure

Melvin A. Breuer, Harold W. Carter, Zahir A. Syed, 1979, 16th Design Automation Conference.

An extensible formal framework for the specification and verification of an optimistic simulation protocol

Philip A. Wilsey, Radharamanan Radhakrishnan, Perry Alexander, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.