SPICE Modeling of Free-Space Optical Systems

Hussein, Ali A.; Nounou, A.; Saada, N.; Atef, D.; Khalil, Diaa

doi:10.1109/bmas.2006.283475

Cited by 1 publication

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One can have similar branching programs for the parity function. It can be shown that every function on n bits can be computed by a branching program of width 3 and exponential length" (Hunsperger, 2002;Hussein, Nounou, Saada, Atef, & Khalil, 2006;Jang, Park, & Prasanna, 1992;Taki, 2000;Lattner, 2002;Mehlhorn & Nher, 1995;Moreinis, Morgenshtein, Wagner, & Kolodny, 2006;Morgenshtein, Fish, & Wagner, 2002;Morgenshtein, Friedman, Ginosar, & Kolodny, 2008;Nakano & Wada, 1998;Nishihara, Haruna, & Suhara, 1987;Okayama, Okabe, Kamijoh, & Sakamoto, 1999;Reed & Knights, 2004;Shi, Wa, Miller, Pamulapati, & Cooke, 1995;Isabelle, 2012;Anthony Fox, 2012; HOL: The Higher Order Logic Theorem Prover; Barrington's Theorem, 2009). Figure 1, we designed a simple boolean circuit and deduced its equivalent branching program, using the established mathematical and computational paradigms.…”

Section: Branching Program/s (Bp)mentioning

confidence: 99%

A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm

D.N.T.Kumar¹,

Wei²

2012

CIS

View full text Add to dashboard Cite

Integrated optics and Optical computing are now a mature technology offering many types of devices and manufacturing techniques. Recent breakthroughs in the field of silicon photonics showed low-loss insulators, passive wave guide devices, high speed optical switches, detectors, silicon lasers, and silicon amplifiers, optical amplifiers etc. These devices have provided the possibility to construct CMOS compatible optical circuits with low power consumption, high bandwidth and low latencies. A critical component that we intend to focus is on considering Branching Programs as CAD tools for the design of future electronics. Hence, BPs as viable means to accomplish the task of propelling the R&D of Electronics, are considered and simulated using HOL software based on boolean theory. We believe our research is one of the remarkable pioneering efforts, into the promising aspects of Branching Programs as CAD Tools.

show abstract