TTL: a modular language for hardware/sof
โ
Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 334 KB
The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which add