Register sharing verification during data-path synthesis

Karfa, C., Mandal, C., Sarkar, D. and Reade, Chris (2007) Register sharing verification during data-path synthesis. In: International Conference on Computing: Theory and Applications (ICCTA'07); 5-7 Mar 2007, Kolkata, India. ISBN 9780769527703

Full text not available from this archive.
Item Type: Conference or Workshop Item (Paper)
Event Title: International Conference on Computing: Theory and Applications (ICCTA'07)
Uncontrolled Keywords: Formal methods
Research Area: Computer science and informatics
Faculty, School or Research Centre: Faculty of Business and Law
Faculty of Business and Law > Kingston Business School (Informatics and Operations Management) (until July 2013)
Depositing User: Robert Elves
Date Deposited: 23 Sep 2008
Last Modified: 05 Mar 2013 10:20
URI: http://eprints.kingston.ac.uk/id/eprint/2036

Actions (Repository Editors)

Item Control Page Item Control Page