Top Banner
Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair for Processor Design
27

Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

May 26, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

Logic Synthesis for Reconfigurable Transistors

Akash KumarShubham Rai, Michael Raitza

Chair for Processor Design

Page 2: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

CFAED: Center for Advancing Electronics Dresden

Material Paths (Paths A – E)

2

Page 3: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Where does the reconfigurability come from?

Designing novel combinational gates

How does it benefit us?

Going beyond logic synthesis

Where are we going from here?

What will we learn today?3

Page 4: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Reconfigurable Transistors:Silicon Nanowires Based Reconfigurable FETs

4

Page 5: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

SiNW Dual-gate RFETs: Combines p-type and n-type functionality

5

Page 6: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Dual-Gate RFETs based Inverter6

A

Vdd

Vss

CMOS Based Inverter

Out

A

P

P

Out

Pull-up

Pull-down

VSS

Pull-up

Pull-down

VDD

VDD

VSS

Page 7: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Multi Input Gate RFETs: NAND7

Vdd

Vss

A B

B

A

CMOS

#of Transistors =4 #of Transistors =3

SiNW with TIGFET

VSS VSS

VDD

VDD

VSS

TIGFET

VDD

VSSSiNW with Dual Gate RFET

B

VDD

VDD

VSS

VDD

VSS

VSS

#of Transistors =4

Page 8: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Reconfigurable Gate8

NAND Gate

P=VSS P=VSS

P=VDD

P=VDD

P=VSSDepending upon value of P,NAND can be configured as NOR

P=VDD P=VDD

P=VSS

P=VSS

P=VDDNOR Gate

Page 9: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Reconfigurability: Mathematical Representation9

Definition:

P = input

Minority Gate

Page 10: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Other Combinational logic Gates10

Page 11: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Case Study: Conditional Carry Adder11

#of Transistors =352

#of Transistors =196

Page 12: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

SiNW RFETs vs CMOS12

SiNW RFET

CMOS

No. ofTransistors

44 %

SiNW RFET

CMOS Delay*

25 %

*Using logical effort theory

Page 13: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Extrinsic Reconfigurability Change some bits in the control

path Extra circuitry req. here

13

Extrinsic Reconfigurability

Page 14: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

14

Intrinsic Reconfigurability

Intrinsic reconfigurability Unique electrical propertiesfrom the material No extra circuitry.

= 0

NAND

= 1

NOR

= 3rd Input

MINORITY

Page 15: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Design Flow 15

CMOS based logic gateIn

puts

SiNW based logic gate In

puts

A Single Function

Range offunctionsto choose from

CMOS/SiNWGenlib

Page 16: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Area savings over CMOS – post logic synthesis16

0.00 5.00 10.00 15.00 20.00 25.00 30.00 35.00 40.00 45.00

C432

C1355

C1908

C2670

C3540

C6288

C7552

t481

rot

b9

dalu

des

k2

Savings over CMOS

Average = 18%

Page 17: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Design Flow: Adding place and route17

CMOS based logic gateIn

puts

SiNW based logic gate In

puts

A Single Function

Range offunctionsto choose from

CMOS/SiNWGenlib

CMOS/ SiNWLEF File

Page 18: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Physical Synthesis Flow18

Page 19: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

SiNW XOR Layout Concept19

Page 20: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

20

Area increase over CMOS – post P&R

Page 21: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

21

1. Exploring design space of new standard cells, exploiting reconfiguration

a. By using meta-models that represent a multitude of possible circuit topologies

b. Enumeration of all distinct Boolean formulae that can be implemented with a specific meta-model

2. Quantifying found cells using probabilistic transistor modelsa. Approach is agnostic to a specific technologyb. New switching functions / characteristics can be easily addedc. (Probabilistic) delay and activity are possible targets

Other Ongoing Works – Property Checking

Page 22: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

22

Other Ongoing Works – Property Checking

Page 23: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

23

Other Ongoing Works – Property Checking

Page 24: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

24

Use the program gate to camouflage circuits

Only a particular key to activate the circuit Length of the key can be used as a tunable knob

Other keys may to be used to de-activate (kill-switch) the chip

Camouflaging also makes it hard to reverse-engineer a circuit

Other Ongoing Works – Security

Page 25: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

25

Important to re-visit logic synthesis for emerging technologies

Exploit ambi-polarity of transistors to make smaller (faster?) circuits

Need to consider post P&R results for a true evaluation

Need better/realistic models of emerging devices

Conclusions

Page 26: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Chair for Processor Design26

Page 27: Akash Kumar - École Polytechnique Fédérale de Lausannedemichel/si.epfl.ch/files... · Logic Synthesis for Reconfigurable Transistors Akash Kumar Shubham Rai, Michael Raitza Chair

© Akash Kumar

Questions and Answers

Email: [email protected]

27