Publication | Closed Access

Incorporating testability considerations in high-level synthesis

Testability ConsiderationsEngineeringProgram AnalysisSoftware TestingDesignFormal MethodsSystems EngineeringSoftware EngineeringProgram SynthesisSystem SynthesisSoftware AnalysisDesign For TestingSoftware Design