Logic Synthesis For Energy-Efficient Photonic Integrated Circuits
Logic Synthesis For Energy-Efficient Photonic Integrated Circuits
Experimental results
Conclusion
2
What is Optical Computing?
Logic Synthesis ?
Optical Computing Components
Microresonator-based Optical Switches
› Can be implemented with microrings/microdisks
7
Outline
Experimental results
Conclusion
8
Previous Works and Problems
Synthesis using virtual gates [Condrat+, GLSVLSI’2011]
› A large number of optical components and
› Cascaded optical splitters
BDD-based direct implementation [Wille+, ASPDAC’2015]
› A large number of cascaded optical combiners with
single light input
9
Previous Works and Problems
10
Problem with Direct Implementation
Due to BDD’s single-path property, any
combiners have at most one light input
Power is cut by half (3dB)
abc = 101
12
Power Efficiency Factor
13
Proposed Algorithms
Our goal: to improve the worst-case network
efficiency under a reasonable overhead and
computational budget
Two techniques
› Combiner elimination to avoid cascaded combiner
loss
› Coupler assignment to redistribute the power
resource
14
Technique 1: Combiner Elimination
Idea: avoid cascaded combiner loss
› e.g., for abc=101
1/4
0
1/2
1/3
nIn=2
nCopy =1
nTerm =2
nCornTerm =1
2
𝛾𝛾𝑛𝑛𝑛𝑛𝑛𝑛 /𝛾𝛾𝑜𝑜𝑜𝑜𝑜𝑜 = = 4/3
1
1+1�
2
Technique 1: Combiner Elimination
How to select the node
› Benefit ratio: 𝛾𝛾𝑛𝑛𝑛𝑛𝑛𝑛 /𝛾𝛾𝑜𝑜𝑜𝑜𝑜𝑜 > 1
› Overhead: the duplicated node number is controlled
Heuristic: for paths with the lowest power first
› Compute the ratio and overhead for nodes closer to
the terminal first (generally have smaller overhead)
› If both meet the set criteria, copy the node cone
› Stop until the overhead budget is reached
17
Technique 2: Coupler Assignment
Idea: redistribute the power with directional
couplers (DCs) instead of combiners
Assign the coupling efficiency for each DC
*1/3
1
1/3
*2/3
1/2
18
General Coupler Assignment Formulation
Other constraints
› Node constraint: rule of power conservation
20
Fast Solution
Iteratively solve by quadratically constrained
programming (QCP)
› In each iteration, optimize a small set of 𝑥𝑥𝑖𝑖 ’s
For each critical path,
› Evaluate the divergence factor for each
multi-input node v
21
Outline
Experimental results
Conclusion
22
Experimental Setup
Two techniques performed iteratively for each
benchmark and stop if no further improvement
Implementation in C++ with CUDD package
Benchmarks
› Microelectronics Center of North Carolina (MCNC)
› International Workshop on Logic and Synthesis
(IWLS) benchmarks
BDD-reordering heuristic
› CUDD_REORDER_SYMM_SIFT
23
Optical Power Efficiency
Optical Power Efficiency (dB)
Worst-case Terminal
Experimental results
Conclusion
26
Conclusion
We study the optical power depletion, a critical
issue of integrated optical circuits
We address the problem with two techniques,
combiner elimination and coupler assignment
which also helps to build a much more noise-
resilient and scalable integrated photonic system
27
Thanks!
Q&A?
28