Timing analysis of assembler code control-flow paths

DOI10.1007/3-540-45614-7_21MaRDI QIDQ4808840zbMATH OpenFDO

Authors Colin Fidge

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2391/23910370.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Correct Hardware Design and Verification Methods
• Model Checking Software
• Code analysis for temporal predictability
• Toward compact abstractions for processor pipelines
• Static timing analysis -- what is special?

Cited in

(2)

• On frequency analysis of sequential program code execution
• Transforming flow information during code optimization for timing analysis

This page was built for publication: Timing analysis of assembler code control-flow paths

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808840)