Concepedia
Design Automation Conference · 2012 · 78 citations · 0 references
EngineeringHardware EmulationHardware Verification LanguageProgram AnalysisComputer EngineeringComputer ArchitectureFormal MethodsConstructing HardwareComputer ScienceEmbedded SystemsParallel ComputingHardware Architecture