publicada em Association for Computing Machinery transactions on design automation of electronic systems
