6.1 Special Day on 'Embedded AI': Emerging Devices, Circuits and Systems.5.6 Logic synthesis towards fast, compact, and secure designs.5.4 New Frontiers in Formal Verification for Hardware.5.3 Special Session: Secure Composition of Hardware Systems.
6.1 Special Day on 'Embedded AI': Emerging Devices, Circuits and Systems.5.6 Logic synthesis towards fast, compact, and secure designs.5.4 New Frontiers in Formal Verification for Hardware.5.3 Special Session: Secure Composition of Hardware Systems.