Formally Analyzed Dynamic Synthesis of Hardware

Kong Woei Susanto, Thomas F. Melham. Formally Analyzed Dynamic Synthesis of Hardware. The Journal of Supercomputing, 19(1):7-22, 2001.

@article{SusantoM01,
  title = {Formally Analyzed Dynamic Synthesis of Hardware},
  author = {Kong Woei Susanto and Thomas F. Melham},
  year = {2001},
  researchr = {https://researchr.org/publication/SusantoM01},
  cites = {0},
  citedby = {0},
  journal = {The Journal of Supercomputing},
  volume = {19},
  number = {1},
  pages = {7-22},
}