Carl Seger

Carl Seger

Chalmers University of Technology - Göteborg / Sweden
Others
AD Scientific Index ID: 1383097
Chalmers tekniska högskola
person_outline Carl Seger's MOST POPULAR ARTICLES
1-) Asynchronous circuitsJA Brzozowski, CJH SegerSpringer Science & Business Media, 19953851995
2-) Formal verification by symbolic evaluation of partially-ordered trajectoriesCJH Seger, RE BryantFormal Methods in System Design 6 (2), 147-189, 19953751995
3-) Formally verifying IEEE compliance of floating-point hardwareJ O’Leary, X Zhao, R Gerth, CJH SegerIntel Technology Journal 3 (1), 1-14, 19991651999
4-) Formal hardware verification by symbolic ternary trajectory evaluationRE Bryant, DL Beatty, CJH SegerProceedings of the 28th ACM/IEEE Design Automation Conference, 397-402, 19911641991
5-) An industrially effective environment for formal hardware verificationCJH Seger, RB Jones, JW O\'Leary, T Melham, MD Aagaard, C Barrett, ...IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 20051302005