[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Using MaxBMC for Pareto-optimal circuit initialization

[IEEE Conference Publications Design Aut

📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 303 KB

[IEEE Conference Publications Design Aut

✍ Becker, Andrew; Novo, David; Ienne, Paolo 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 435 KB

[IEEE Conference Publications Design Aut

✍ Saraf, Naman; Bazargan, Kia; Lilja, David J.; Riedel, Marc D. 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 941 KB

[IEEE Conference Publications Design Aut

✍ Zangeneh, Mahmoud; Joshi, Ajay 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 155 KB

[IEEE Conference Publications Design Aut

✍ Narayanan, Vijaykrishnan (author);Datta, Suman (author);Cauwenberghs, Gert (auth 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 765 KB

[IEEE Conference Publications Design Aut

✍ Narayanan, Vijaykrishnan (author);Datta, Suman (author);Cauwenberghs, Gert (auth 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 765 KB