In Socrates the System Specification Generator supports NIC-400 and the like but not AHB Bus Matrix. Is the NIC-400 preferrable now? It does everything AHB Bus Matrix can do and more. What are the relative merits of using one over the other?