3
Publications
44
Citations
3
H-Index
1988
Active since
Affiliations
Alec G. Stanculescu is an author at Vantage View (United States) specializing in engineering, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceComputer EngineeringComputer ArchitectureSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
1988–2003
3
3
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
Switch-level VHDL descriptions
Alec G. Stanculescu, A.S. Tsay, Alex Zamfirescu et al. · 2003 · 10 citations
Rows per page
1–3 of 3