This paper discusses the tradeoffs of abstraction vs. implementability, and highlights an approach of embedding M into Simulink to gain the advantages of both for integrating control logic into the datapath. By supporting a broad subset of M operators and built-in functions and adhering to some simple programming guidelines, significant efficiencies can be gained in design capture and debugging for certain types of applications.