Baidu
map

Canonical Computation without Canonical Representation

Mishchenko, A; Brayton, R; Petkovska, A; Soeken, M; Amaru, L; Domic, A

Mishchenko, A (reprint author), Univ Calif Berkeley, Dept EECS, Berkeley, CA 94720 USA.

2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018; ():

Abstract

A representation of a Boolean function is canonical if, given a variable order, only one instance of the representation is possible for the function. ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map