Style-specific

The aroma and red color of the spice saffron are partly due to the style-specific accumulation of carotenoid cleavage products produced by both enzymatic and thermal degradation. M. Giaccio reviewed the renewed interest in saffron as a colorant, spice, and nutraceutical. " Crocetin is a C20 apocarotenoid derived from zeaxanthin (Figure 5.3.4B). ... 

Aesop Is used to model style-specific architecture descriptions, also provides support for designing custom architecture styles. 

IMEC s CATHEDRAL-II system is a design-style-specific system for the synthesis of digital signal processing (DSP) chips. CATHEDRAL-II includes transformations, data path synthesis, scheduling, and controller design. See also IMEC s CATHEDRAL-2nd System, IMEC s CATHEDRAL-III System, and Philip s PIRAMID System, which uses the CATHEDRAL-II system as its synthesis engine. 

The SUGAR style-specific microprocessor designer includes both behavioral transformation and Register-Transfer Level synthesis functions. 

The research reported here highlights three contrasts in synthesis tool development, namely how to handle the interactions between the Register-Transfer Level synthesis steps, the difference between style-specific and general synthesis, and the means of representing knowledge in the synthesis algorithms. 

SUGAR uses a style-specific synthesis method for the microprocessor design style. The method synthesizes even large microprocessors like the MC68000 rapidly in only 80 CPU minutes on a VAX 8800. Although definite conclusions in favor of the style-specific... 

Three experiments were done with the MCS6502 microprocessor using sugar s style specific approach to microprocessor design. These experiments, identified as SI, S2 and S3, are as follows ... 

At the beginning, we highlighted several differences in the approaches taken in the two paths through the System Architect s Workbench. These differences were the use of style-specific vs. general synthesis algorithms, the handling of interactions between synthesis steps, and the method of knowledge representation. 

The style-specific approach gained some advantage from knowing how different parts of the behavioral description mapped onto its notion of high level structure. For SUGAR, this was accomplished by annotating the description with qualifiers. As discussed previously, research on APARTY has shown how this partitioning can be done automatically. 

The style-specific SUGAR approach uses bus selection and delayed binding to control its interactions. Essentially the bus model selected suggests the high level structure, and the delayed binding splits the... 

In this section we show in detail how Haskell can be used to record succinct, mathematically styled specifications and general purpose theorems. In particular we show how implicit definitions can be mixed freely with constructive forms (for which the language is primarily intended). 

---