✦ LIBER ✦

An approach for the formal verification of DSP designs using Theorem proving

✍ Scribed by Akbarpour, B.; Tahar, S.

Book ID: 117907543
Publisher: IEEE
Year: 2006
Tongue: English
Weight: 536 KB
Volume: 25
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2005.857314

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An exposition of the distribution functi

An exposition of the distribution function used in proving the averaging theorems for multiphase flow

✍ Ingemar P.E. Kinnmark; William G. Gray 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 203 KB

Comment on: An exposition of the distrib

Comment on: An exposition of the distribution function used in proving the averaging theorems for multiphase flow

✍ Z.J. Kabala 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 76 KB

An efficient approach to human motion mo

An efficient approach to human motion modeling for the verification of human-centric product design and manufacturing in virtual environments

✍ D. Mavrikios; V. Karabatsou; M. Pappas; G. Chryssolouris 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 723 KB

An experimental design approach using TO

An experimental design approach using TOPSIS method for the selection of computer-integrated manufacturing technologies

✍ Yusuf Tansel İç 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 355 KB

The design of an optimal viscous damper

The design of an optimal viscous damper for a bridge stay cable using energy-based approach

✍ Shaohong Cheng; Neda Darivandi; Faouzi Ghrib 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 648 KB

On the use of the asymptotic forms of th

On the use of the asymptotic forms of the boolean matrix for designing cellular manufacturing systems — An improved approach

✍ G.Jayakrishnan Nair; T.T. Narendran 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 766 KB

The use of asymptotic forms of the boolean matrix for grouping machines and parts is of recent origin. It has distinct strengths such as the ability to identify bottlenecks. This paper analyses the existing approach and discovers its limitations. Persisting with the idea of exploiting the properties