A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2015-December, Issue , 2015, Pages 100-109

  Gennaro, Alessandro De ^a   Stankaitis, Paulius ^a   Mokhov, Andrey ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Algorithm design and analysis; Electronic mail; Encoding; Hamming distance; Heuristic algorithms; Instruction sets; Measurement

Indexed keywords

ALGORITHMS; ARM PROCESSORS; DESIGN; ELECTRONIC MAIL; ENCODING (SYMBOLS); HAMMING DISTANCE; HARDWARE; MEASUREMENTS; SYSTEMS ANALYSIS;

ALGORITHM DESIGN AND ANALYSIS; COMPACT MODEL; FORMAL REPRESENTATIONS; GLOBAL OPTIMUM; HARDWARE IMPLEMENTATIONS; INSTRUCTION SET; SIMILARITY METRICS; TEXAS INSTRUMENTS;

HEURISTIC ALGORITHMS;

EID: 84959879839     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2015.17     Document Type: Conference Paper

References (25)

1. H. Iwai, "Roadmap for 22nm and beyond (Invited Paper)", Microelectronic Engineering, vol. 86, pp. 1520-1528, 7/2009
2. J. Rabaey, "Low Power Design Essentials: New York, London"; Springer 2009
3. A. Mokhov, A. Yakovlev. "Conditional partial order graphs: Model, synthesis, and application". IEEE Transactions on Computers, Volume 59, Pages 1480-1493, November 2010
4. A Mokhov, A Alekseyev, A Yakovlev. "Encoding of processor instruction sets with explicit concurrency control". Computers & Digital Techniques, IET. Volume 5, Pages 427-439. November 2011
5. A. Mokhov, M. Rykunov, D. Sokolov and A. Yakovlev. "Design of Processors with Reconfigurable Microarchitecture". J. Low Power Electron. Appl. 2014, 4, Pages 26-43. 20 January 2014
6. A. Mokhov. "Conditional Partial Order Graphs". Ph.D. Thesis, Newcastle University, September 2009
7. Evguenii I. Goldberg, T. Villa, R. K. Brayton and Alberto L. Sangiovanni-V Incentelli. "A Fast and Robust Algorithm for Face Embedding". Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on 9-13 Nov. 1997, San Jose, CA, USA, Pages 296-303
8. A. Mokhov, A. Yakovlev. "Conditional partial order graphs and dynamically reconfigurable control synthesis". Design, Automation and Test in Europe, 2008. DATE08, Pages 1142-1147, 10/03/2008
9. R. W. Hamming. "Error Detecting and Error Correcting Codes". The Bell System Technical Journal Vol. XXIX, No. 2, April, 1950
10. A. de Gennaro, "Design of Reconfigurable Dataflow Processors". Masters Degree in Computer Engineering (Facolta di Ingegneria, Politecnico Di Torino), October 2014
11. E. L. Lawlor, "Combinatorial Optimization", (Holt, Rinehart & Winston, New York, 1976)
12. S. Kirkpatrick, C. D. Gelatt Jr and M. P. Vecchi, "Optimization by Simulated Annealing", vol. 220, number 4598, 13 May 1983
13. F. Javier Rodriguez-Diaz, Carlos Garcia-Martinez and Manuel Lozano, "A GA-Based Multiple Simulated Annealing", IEEE, Evolutionary Computation (CEC), July 2010
14. M. Rykunov. "Design of Asynchronous Microprocessor for Power Proportionality". Ph.D. Thesis, Newcastle University, December 2013
15. P. Stankaitis, "Algebraic Specifications of ARM Cortex M0+ Instruction Set", Bachelor Degree thesis, 2014
16. ARM Ltd. "ARMv6-M Architecture Reference Manual". ARM DDI 0419C (ID092410), 2010
17. I. Poliakov, D. Sokolov, A. Mokhov. "Workcraft: A static data flow structure editing, visualisation and analysis tool". Petri Nets and Other Models of Concurrency-ICATPN 2007. Pages 505-514, 2007
18. Berkeley Logic Synthesis and Verification Group. "ABC, a System for Sequential Synthesis and Verification". www.eecs.berkeley.edu/-Alanmi/abc/
19. Richard Rudell. "Genlib: Combinational Gate Specification". Berkeley University, http://www.eecs.berkeley.edu/-alanmi/publications/other/SIS paper genlib.pdf
20. A. Mokhov, V. Khomenko. "Algebra of Parameterised Graphs". ACM Transactions on Embedded Computing Systems, Volume 13, Issue 4s, 2014
21. T. Villa. "Encoding Problems in Logic Synthesis". University of California at Berkeley, Ph.D. Thesis in Engineering. 1995
22. D. Sokolov, A. Mokhov, A. Yakovlev, D. Lloyd. "Towards asynchronous power management". 2014 IEEE Faible Tension Faible Consommation (FTFC), Pages 1-4, May 2014
23. Martin Gebser, Benjamin Kaufmann and Torsten Schaub. "Conflict-Driven Answer Set Solving: From Theory to Practice". Potsdam University, Institut fur Informatik, August-Bebel-Str. 89, D-14482 Potsdam, Germany. May 4, 2012
24. Niklas En, Niklas Sorennson. "An Extensible SAT-solver". Chalmers University of Technology, Sweden
25. McGeer, P., Sanghavi, J., Brayton, R. and Vincentelli, A.S. "ESPRESSOSIGNATURE: A New Exact Minimizer for Logic Functions". Design Automation, 1993. 30th Conference on 14-18 June 1993. Pages: 618-624. DOI: 10.1109/DAC.1993.204022. Publisher: IEEE.