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

International audience

An algorithm for the inclusion of RC compact models of packages into board level thermal simulation tools

International audience