In this paper, we postulate “re-use” and not “synthesis” as driving force for productivity increase, confirm that postulate by analysis of semi-custom-design and RTL Synthesis, and derive from that postulate the next paradigm shift in the automated design process: Automated TLM Design: Manual architecture design on transaction level based on transaction level IP models and automated generation ...

We study the correctness of automated synthesis for concurrent monitors. We adapt HML, a subset of the Hennessy-Milner logic with recursion, to specify safety properties of Erlang programs, and define an automated translation from HML formulas to Erlang monitors so as to detect formula violations at runtime. We then formalise monitor correctness for our concurrent setting and describe a techn...

Background Fast implementation of positron emission tomography (PET) into clinical and preclinical studies highly demands automated synthesis for the preparation of PET radiopharmaceuticals in a safe and reproducible manner. The aim of this study was to develop automated synthesis methods for these six 18F-labeled radiopharmaceuticals produced on a routine basis at the University of Pennsylvani...

The total synthesis of TMG-chitotriomycin using an automated electrochemical synthesizer for the assembly of carbohydrate building blocks is demonstrated. We have successfully prepared a precursor of TMG-chitotriomycin, which is a structurally-pure tetrasaccharide with typical protecting groups, through the methodology of automated electrochemical solution-phase synthesis developed by us. The s...

A solution-phase automated synthesis of the versatile synthetic intermediate, Garner's aldehyde, was demonstrated. tert-Butoxycarbonyl (Boc) protection, acetal formation, and reduction of the ester to the corresponding aldehyde were performed utilizing our originally developed automated synthesizer, ChemKonzert. The developed procedure was also useful for the synthesis of Garner's aldehyde anal...

The synthesis of peptides rich in aggregation prone sequences can be improved with backbone protection. We report the automated introduction of backbone protection to a peptide. This new method was applied in a fully-automated synthesis, giving improved handling, quality and yield of several challenging target sequences.

Small-molecule synthesis usually relies on procedures that are highly customized for each target. A broadly applicable automated process could greatly increase the accessibility of this class of compounds to enable investigations of their practical potential. Here we report the synthesis of 14 distinct classes of small molecules using the same fully automated process. This was achieved by strat...