Speaker: Ebele Esimai Title : Modeling HexNet in ACL2 Abstract: We will first give an overview of the HexNet network, including its hexagonal layout and its features -- in particular, arbitration and advanced address decoding. Next, we will present an ACL2 implementation of HexNet and run examples to exhibit the features mentioned. Finally, we will discuss ongoing and future proof efforts to give a more complete specification of the network.