Andreas J. Drexler is an author at Stanford University specializing in semi-formal verification, formal verification, and computer engineering.
Top concepts
ProtocolsEngineeringCryptographyVerificationFormal MethodsHardware DesignComputer ScienceEmbedded SystemsHardware SystemsHardware Security
Publications per year
2003–2003
1
1
Protocol verification as a hardware design aid
David L. Dill, Andreas J. Drexler, Alan J. Hu et al. · 2003 · 398 citations
Engineering, Hardware Verification Language, Verification +23
Rows per page
1–1 of 1