In this extended abstract, we summarize our study on implementing tautology checking, a fundamental logic synthesis algorithm, using an FPGA-based reconfgurable applicationspecific coprocessor. The use of the tautology checking algorithm is first discussed followed by the specifics of hardware accelerator implementation and intetiace to application sofrware. We compare our hardware accelerator ...

Two regular circuit structures based on the programmable logic array (PLA) are proposed. They provide alternatives to the widely used standard-cell structure and have better predictability and simpler design methodologies. A whirlpool PLA is a cyclic four-level structure, which has a compact layout. Doppio-ESPRESSO, a four-level logic minimization algorithm, is developed for the synthesis of Wh...

Context. ESPRESSO is the new high-resolution spectrograph of ESO’s Very Large Telescope (VLT). It was designed for ultra-high radial-velocity (RV) precision and extreme spectral fidelity with aim performing exoplanet research fundamental astrophysical experiments unprecedented accuracy. able to observe any four Unit Telescopes (UTs) VLT at a resolving power 140 000 or 190 over 378.2 788.7 nm wa...

Bu çalışmada Yoğunluk Fonksiyoneli Teorisi (DFT)’ne dayanan Quantum-Espresso yazılımı kullanılarak kübik L21 yapıda Ni2TiAl bileşiğinin yapısal, elastik ve termodinamik özellikleri incelenmiştir. Bileşiğin mekanik kararlı olduğu görüldükten sonra modülü, anizotropisi, Vicker sertliği erime sıcaklıkları hesaplanmıştır. Hesaplamalar analizler sonucunda bileşiğin 1000K üzeri sıcaklığına sahip olma...

The present paper reports sim-trhepd-rheed (STR), an open-source simulator of total-reflection high-energy positron diffraction (TRHEPD) and reflection electron (RHEED) experiments which are used for atom-scale surface structure determination a material. STR is the analysis experimental data by simulating rocking curve from given trial solving partial differential equation dynamical quantum the...

The objective of this study was to evaluate the effects of coffee bean roast on the acceptability of a dairy-based espresso drink. Espresso coffee was made from freshly ground coffee beans with light-medium roast, between roast (between medium and dark) and dark French roast in order to show the influence of roasting on flavor. Samples were prepared by blending skim milk, soft-serve ice cream m...

In this report, we present the results of investigation into improving the performance of GWW, part of the Quantum Espresso suite of software for ab initio simulation. In particular, the 3D Fourier Transform was found to be a significant bottleneck to application scaling. Several alternative methods for the FFT transpose were implemented, and the performance of these was studied on HECToR (Phas...

Finding minimum cost switching function is an intractable problem. The number of prime implicant of a typical switching function is the order of 3 [5][13]. When fitness function with respect to cost is the only goal, the existing algorithms require faces combinatorial explosion [20]. The allurement of approximation and heuristic algorithms in this area has already generated ESPRESSO algorithm. ...

We introduce a new efficient minimization method for functions described by many (up to millions) product terms. The algorithm is based on processing a newly proposed efficient representation of a set of product terms – a ternary tree. The minimization procedure is based on a fast application of basic Boolean operations upon the ternary tree, combined with algorithms used in the Espresso minimi...