System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition

Simple item page
dc.contributor.authorBose, Bhaskar; Tuna, Esen; Johnson, Steven
dc.date.accessioned2025-11-04T18:49:00Z
dc.date.available2025-11-04T18:49:00Z
dc.date.issued1993-06
dc.identifier.urihttps://hdl.handle.net/2022/34221
dc.relation.ispartofseriesIndiana University Computer Science Technical Reports; TR386
dc.rightsThis work is protected by copyright unless stated otherwise.
dc.rights.uri
dc.titleSystem Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR386.pdf
Size:
163.71 KB
Format:
Adobe Portable Document Format
Download

Collections

Technical Reports
Can’t use the file because of accessibility barriers? Contact us