Searching for authors named "Samar Abdi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Verify 2003 Keynote Talk System Debugging and Verification: A New Challenge Verify 2003
- … Gajski Samar Abdi Center for Embedded Computer Systems http://www.cecs.uci.edu {gajski…
- Add To MetaCart
-
Formal Verification of Specification Partitioning
- …Formal Verification of Specification Partitioning Samar Abdi and Daniel Gajski Technical Report…
- Cited by 4 (2 self) – Add To MetaCart
-
Automatic Communication Refinement for System Level Design
- …Automatic Communication Refinement for System Level Design Samar Abdi and Daniel Gajski Technical…
- Cited by 13 (3 self) – Add To MetaCart
-
Automatic Generation of Equivalent Architecture Model from Functional Specification
- …Automatic Generation of Equivalent Architecture Model from Functional Specification ABSTRACT Samar…
- Cited by 3 (1 self) – Add To MetaCart
-
Automatic Generation of Bus Functional Models from Transaction Level Models
- … Shin and Samar Abdi and Daniel Gajski Center for Embedded Computer Systems University of California…
- Cited by 3 (1 self) – Add To MetaCart
-
System-on-chip environment (SCE version 2.2.0 beta): Manual
- … Samar Abdi Jerry Peng Dongwan Shin Haobo Yu Rainer Dömer Daniel D. Gajski Technical Report CECS-TR-03…
- Add To MetaCart
Showing 1 through 6.
