Search Results - "Kahne, B."
-
1
A Two-Step Darwin Model Time-Domain Formulation for Quasi-Static Electromagnetic Field Calculations
Published in IEEE transactions on magnetics (01-06-2021)“…In the absence of wave propagation, transient electromagnetic fields are governed by a composite scalar/vector potential formulation for the quasi-static…”
Get full text
Journal Article -
2
Performance analysis for chipsets and systems
Published in 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305) (1999)“…Plasma is a new tool for modeling the timing of chipsets and other system components. Modeling chipsets is in some ways more difficult than modeling…”
Get full text
Conference Proceeding -
3
A Two-Step Darwin Model Time Domain Formulation for Quasistatic Electromagnetic Field Calculations
Published 01-12-2020“…In the absence of wave propagation, transient electromagnetic fields are governed by a composite scalar/vector potential formulation for the quasistatic Darwin…”
Get full text
Journal Article -
4
Retiming Verification Using Sequential Equivalence Checking
Published in 2005 Sixth International Workshop on Microprocessor Test and Verification (01-11-2005)“…High performance designs must conform to stringent timing requirements. Designers frequently utilize low-level optimization techniques and develop many…”
Get full text
Conference Proceeding -
5
An Introduction to the Plasma Language
Published in 2005 Sixth International Workshop on Microprocessor Test and Verification (01-11-2005)“…The ability to enhance single-thread performance, such as by increasing clock frequency, is reaching a point of diminishing returns: power is becoming a…”
Get full text
Conference Proceeding