Post-assembly modification of kinetically metastable Fe(II)2L3 triple helicates.

We report the covalent post-assembly modification of kinetically metastable amine-bearing Fe(II)2L3 triple helicates via acylation and azidation. Covalent modification of the metastable helicates prevented their reorganization to the thermodynamically favored Fe(II)4L4 tetrahedral cages, thus trapping the system at the non-equilibrium helicate structure. This functionalization strategy also conveniently provides access to a higher-order tris(porphyrinatoruthenium)-helicate complex that would be difficult to prepare by de novo ligand synthesis.This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC). D.A.R. acknowledges the Gates Cambridge Trust for Ph.D. (Gates Cambridge Scholarship) and conference funding.This is the final published version. It first appeared at http://pubs.acs.org/doi/abs/10.1021/ja5042397

Reuse and Protection of Intellectual Property in the SpecC System

In system-level design, the key to cope with the complexities involved with System-on-Chip (SOC) designs, is the reuse of Intellectual Property (IP). With the increasing demand for IP, the mechanism to protect an IP component from being copied, modified, or reverse-engineered, becomes very important. This paper describes how reuse and protection of IP is supported by the SpecC language and the SpecC design environment

Essential Issues in Codesign

In this report we discuss the main models of computation, the basic types of architectures, and language features needed to specify systems. We also give an overview of a generic methodology for designing systems, that include software and hardware parts, from executable specifications. Contents 1 Models 1 1.1 Model and architecture definition : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1.2 Model taxonomy : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.3 Finite-state machine : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.4 Finite-state machine with datapath : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 1.5 Petri net : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 1.6 Hierarchical concurrent finite-state machine : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 1...

Syntax and Semantics of the SpecC Language

this paper, we describe an executable modeling language in the context of a homogeneous codesign methodology featuring synthesis, reuse and validation. A C based language called SpecC is proposed as an attempt to achieve these goals. The syntax and semantics of the language is presented and compared with existing HDLs. In conclusion, SpecC is conceptually more abstract, syntactically simpler, and semantically richer