𝔖 Bobbio Scriptorium
✦   LIBER   ✦

High-speed experimentation techniques applied to the study of the synthesis of zeolites and silsesquioxanes

✍ Scribed by Paolo P Pescarmona; Johannes J.T Rops; Jan C van der Waal; Jacobus C Jansen; Thomas Maschmeyer

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
204 KB
Volume
182-183
Category
Article
ISSN
1381-1169

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A study about the efficiency of formal h
A study about the efficiency of formal high-level synthesis applied to verification
✍ JosΓ© M. Mendı́as; RomΓ‘n Hermida; Olga PeΓ±alba πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 643 KB

The use of a formal synthesis system is proposed as an efficient alternative for the formal verification of RT-level circuits obtained from algorithmic-level specifications by high-level synthesis (HLS) tools. The goal of the proposal is to recreate, within the formal synthesis system, any design pr