Search results

Auto-generated spinv connects I/O incorrectly

Status: Open.

#6 In danilovesky/verimap;

· ARandomOWL opened on Apr 4, 2018

Convert timing, area and functionality information from Liberty file

Status: Open.

#5 In danilovesky/verimap;

· ARandomOWL opened on Mar 14, 2018

Suboptimal spacer-inverter insertion

Status: Open.

#4 In danilovesky/verimap;

· ARandomOWL opened on Mar 14, 2018

Erroneous warning: "[...] does not influence the output"

Status: Open.

#3 In danilovesky/verimap;

· ARandomOWL opened on Mar 9, 2018

Segfaults instead of graceful failure

Status: Open.

#2 In danilovesky/verimap;

· ARandomOWL opened on Mar 9, 2018

Incorrect spinv insertion at top-level

Status: Open.

#1 In danilovesky/verimap;

· ARandomOWL opened on Mar 8, 2018