Open Access. Powered by Scholars. Published by Universities.®
VLSI and Circuits, Embedded and Hardware Systems Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Keyword
- Publication
Articles 1 - 2 of 2
Full-Text Articles in VLSI and Circuits, Embedded and Hardware Systems
Wave-Shaped Mask Of Fabricating Nano-Scaled Structure, Fang-Tzu Chuang
Wave-Shaped Mask Of Fabricating Nano-Scaled Structure, Fang-Tzu Chuang
Fang-Tzu Chuang
A wave-shaped mask for fabricating a nano-scale structure is disclosed. The wave-shaped mask comprises an elastomeric transparent substrate having an upper surface and a lower surface, and a light-penetrable thin film layer disposed on the upper surface of the elastomeric transparent substrate. The upper surface of the elastomeric transparent substrate and the light-penetrable thin film layer are in a periodic wave shape, and the lower surface of the elastomeric transparent substrate is in a plate shape.
From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
From Verification To Implementation: A Model Translation Tool And A Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
Oleg Sokolsky
Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model’s verification at an early stage. The verified model must then be translated to a more detailed model for simulation-based testing and finally translated into executable code in a physical implementation. As later stages build on the same core model, it is essential that models used earlier in the pipeline are valid approximations of the more detailed models developed downstream. The focus of this effort is on the design and development of a model translation tool, UPP2SF, and …