A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Designing a S2-Enterprise (Smart x Sensing) Reference Model

Part 11: Reference and Conceptual Models