✦ LIBER ✦

A time-based model for investigating parallel logic-level simulation

✍ Scribed by Bailey, M.L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical predictions for serial, parall

✍ Little, Daniel R. 📂 Article 📅 2012 🏛 Psychonomic Society Publications 🌐 English ⚖ 231 KB

A formal specification and verification

✍ Frey, P.; Radhakrishnan, R.; Carter, H.W.; Wilsey, P.A.; Alexander, P. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 513 KB

Real-time electromagnetic transient simu

✍ LaiJun Chen, Ying Chen, ShengWei Mei 📂 Article 📅 2012 🏛 SP Science China Press 🌐 English ⚖ 736 KB

A method for multiple-level logic synthe

✍ Juan Lanchares; JoséIgnacio Hidalgo; Juan Manuel Sánchez 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 560 KB

A Formal Model for SDL Specifications Ba

✍ L.J. Steggles; P. Kosiuczenko 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 153 KB

HPABM: A Hierarchical Parallel Simulatio

✍ Wenwu Tang; Shaowen Wang 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 734 KB