@misc{indiciae5182a53c1351,
  title = {Automated ILA design for synchronous sequential circuits},
  author = {Liu, M. N. and Liu, K. Z. and Maki, G. K. and Whitaker, S. R.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19940013867},
  note = {Source identifier: 19940013867}
}