Youm Huh is an author at Stanford University specializing in software design, systems engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
1988–1988
1
1
Verification of VHDL designs using VAL
Larry M. Augustin, Benoit A. Gennart, Youm Huh et al. · Design Automation Conference · 1988 · 18 citations
Engineering, Hardware Verification Language, Verification +21
Rows per page
1–1 of 1