SoC interconnection protection through formal verification
SoC interconnection protection through formal verification is a scholarly work, published in 2019 in ''Integration''. The main subjects of the publication include finite-state machine, protocol, computer security, scalability, formal verification, hardware security, denial-of-service attack, system bus, brain implant, embedded system, and computer science. The authors present a scalable SoC bus verification framework trying to verify the security properties of SoC bus implementation where the bus protocol plays the role of the golden reference.