Register sharing verification during data-path synthesis

C. Karfa, C. Mandal, D. Sarkar, Chris Reade

Research output: Contribution to conference › Paper › peer-review

Original language	English
DOIs	https://doi.org/10.1109/ICCTA.2007.111
Publication status	Published - Mar 2007
Externally published	Yes
Event	International Conference on Computing: Theory and Applications (ICCTA'07) - Kolkata, India Duration: 5 Mar 2007 → 7 Mar 2007

Conference	International Conference on Computing: Theory and Applications (ICCTA'07)
Period	5/03/07 → 7/03/07

Keywords

@conference{99097fd7db634a61b079e396a747f104,

title = "Register sharing verification during data-path synthesis",

keywords = "Formal methods, Computer science and informatics",

author = "C. Karfa and C. Mandal and D. Sarkar and Chris Reade",

year = "2007",

month = mar,

doi = "10.1109/ICCTA.2007.111",

language = "English",

note = "International Conference on Computing: Theory and Applications (ICCTA'07) ; Conference date: 05-03-2007 Through 07-03-2007",

}

TY - CONF

T1 - Register sharing verification during data-path synthesis

AU - Karfa, C.

AU - Mandal, C.

AU - Sarkar, D.

AU - Reade, Chris

PY - 2007/3

Y1 - 2007/3

KW - Formal methods

KW - Computer science and informatics

U2 - 10.1109/ICCTA.2007.111

DO - 10.1109/ICCTA.2007.111

M3 - Paper

T2 - International Conference on Computing: Theory and Applications (ICCTA'07)

Y2 - 5 March 2007 through 7 March 2007

ER -