2
Publications
39
Citations
2
H-Index
2001
Active since
Affiliations
Marc Edwards is an author at Cisco Systems (United States) specializing in program analysis, verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2001–2001
2
2
A framework for object oriented hardware specification, verification, and synthesis
Tommy Kuhn, Tobias Oppold, Markus Winterholer et al. · 2001 · 28 citations
Object oriented hardware synthesis and verification
Tommy Kuhn, Tobias Oppold, C. Schulz-Key et al. · 2001 · 11 citations
Hardware Modeling, Engineering, Hardware Verification Language +22
Rows per page
1–2 of 2