Formal Analysis of Camouflaged Reconfigurable Circuits.
Steffen MärckerMichael RaitzaShubham RaiGiulio GalderisiThomas MikolajickJens TrommerAkash KumarPublished in: NEWCAS (2023)
Keyphrases
- formal analysis
- floating gate
- power reduction
- high speed
- formal methods
- reconfigurable architecture
- low cost
- ban logic
- hardware implementation
- power consumption
- delay insensitive
- general purpose
- circuit design
- digital circuits
- logic circuits
- logic synthesis
- analog vlsi
- low power
- agent model
- life cycle
- analog circuits
- building blocks
- information systems
- artificial intelligence