Developing Game Model for Migration Process of Static Timing Analysis Tools

Tigran  Sargsyan

Authors

Tigran Sargsyan State Engineering University of Armenia (Polytechnic)

Abstract

The aim of the work is to find an adequate game model for Static Timing Analysis (STA) migration process and develop method for evaluating the efficiency of actions on each step of migration. For comparing timing models generated by STA tool an automated comparison utility was created which should be used for finding the best strategy in each cycle of migration process.

References

J. Bhasker and R. Chadha «Static Timing Analysis for Nanometer Designs» Janet Shapiro «Strategic Planning Toolkit» http://www.civicus.org

E. Pogossian, Adaptation of Combinatorial Algorithms, (in Russian), Yerevan., pp. 293, 1983.

E. Pogossian: “Combinatorial Game Models For Security Systems”, NATO ARW on "Security and Embedded Systems", Porto Rio, Patras, Greece, Aug., pp. 8-18, 2005.

E. Pogossian, “On measures of performance of functions of human mind”, 6th International Conference in Computer Science and Information Technologies, CSIT2007, pp. 149-154, Yerevan, 2007.

Manual page for diff: http://ss64.com/bash/diff.html

Example of STA tool: http://www.synopsys.com/Tools/Implementation/SignOff/Pages/NanoTime.aspx

Information on Liberty format: http://www.opensourceliberty.org/ http://www.synopsys.com/community/interoperability/pages/libertylibmodel.aspx

Lectures on STA: http://www.csee.umbc.edu/~cpatel2/links/641/slides/lect05_LIB.pdf