Travelled to:1 × Belgium
1 × France
Collaborated with:W.Rosenstiel W.Bibel D.S.Korn C.Kreitz F.Kurucz J.Otten G.Stolpmann
Talks about:microcontrol (1) synthesi (1) prototyp (1) approach (1) program (1) environ (1) system (1) design (1) verif (1) multi (1)
Person: Stephen Schmitt
DBLP: Schmitt:Stephen
Contributed to:
2004
1997Wrote 2 papers:
- DATE-DF-2004-SchmittR #design #low cost #prototype #using #verification
- Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments (SS, WR), pp. 96–101.
- LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
- A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.