Title: High-level test generation and built-in self-test techniques for digital systems