@inproceedings{BUT192302,
  author="Václav {Dvořák}",
  title="CAD tools for VLSI",
  year="1991",
  address="Bari"
}