Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Intellectual Property Composition"”.

  1. Formal Methods for Intellectual Property Composition Across Synchronization Domains

    … (SoC) design problem is in the correct composition of intellectual property (IP) blocks. Ever increasing clock frequencies make it impossible for signals to reach from one end of the chip to the other end within a clock cycle; this invalidates the so-called synchrony assumption, where …

    vt Repository record for Formal Methods for Intellectual Property Composition Across Synchronization Domains (opens in a new tab)