FPGAs are used in a wide variety of digital systems. Due to their ability to support parallelism and specialization, these devices are becoming more commonplace in fields such as machine learning. One of the biggest benefits of FPGAs, logic specialization, can lead to security risks. Prior research has shown that a large variety of malicious circuits can snoop on sensitive user data, induce circuit faults, or physically damage the FPGA. These Trojan circuits can easily be crafted and embedded in FPGA designs. Often, these Trojans are small, consume little power in comparison to the target circuit, and are hard to detect via simulation or physical inspection. Computer-aided design (CAD) software in FPGAs has been the subject of extensive research and development of FPGAs for the past thirty-five years. The current FPGA software landscape includes vendors that provide widely used software flows to convert behavioral and register-transfer level (RTL) descriptions to bitstreams needed to program an FPGA device. Given the complexity of the algorithms needed to perform this translation, these CAD tool flows are generally structured as black boxes with limited transparency regarding design conversion steps or the logical equivalence of the generated design and initial design specification. vi This work explores the enhancement of open-source FPGA software, SymbiFlow, that focuses on FPGA RTL synthesis, place and route and bitstream generation. SymbiFlow uses Yosys for synthesis, VPR for place and route, and Project X-Ray for bitstream generation. We focus on synthesis using Yosys and formal verification using the Cadence Conformal Logic Equivalence Checker (LEC) for Xilinx Artix-7 FPGAs. Yosys is used to synthesize 160 benchmarks written in Verilog. We implement required code modifications to Yosys for designs to pass the equivalence checker. For Conformal, this work involves processing 160 benchmark designs with the equivalence checker. Parameters can be toggled on or off to obtain results that indicates if a design has passed formal verification when comparing RTL and synthesized netlists.

Диссертация посвящена проблеме установления эквивалентности перевода оригиналу пьесы Теннесси Уильямса «A Streetcar Named Desire» на основе текстовой категории тональности. Были проанализированы реплики главных персонажей на основании сопоставления маркеров текстовой категории по параметрам набора, комбинаторики, размещения. На основании информации поля тональности и подсчётов эквивалентности были сделаны выводы о творческом своеобразии перевода В. Неделина и его интерпретации подлинника. / This master’s thesis studies the problem of establishing the equivalence of the translation to the original play “A Streetcar Named Desire” by Tennessee Williams based on the textual category of tonality. The lines of the main characters were analyzed based on the comparison of the textual category markers by the parameters of the set, combinatorics and placement. According to the information of the tonality fields and equivalence calculations, conclusions about creative originality of V. Nedelin’s translation and his interpretation of the original were drawn.

This paper aims to investigate whether language use can account for the differences in code-switching within the article-noun phrase in children exposed to English and German, French and Russian, and English and Polish. It investigates two aspects of language use: equivalence and segmentation. Four children’s speech is derived from corpora of naturalistic interactions recorded between the ages of two and three and used as a source of the children’s article-noun phrases. We demonstrate that children’s CS cannot be fully explained by structural equivalence in each two languages: there is CS in French-Russian although French does, and Russian does not, use articles. We also demonstrate that language pairs which use higher numbers of articles types, and therefore have more segmented article-noun phrases, are also more open to switching. Lastly, we show that longitudinal use of monolingual articles-noun phrases corresponds with the trends in the use of bilingual article-noun phrases. The German-English child only starts to mix English articles once they become more established in monolingual combinations while the French-Russian child ceases to mix French proto-articles with Russian nouns once target articles enter frequent use. These findings are discussed in the context of other studies which report code-switching across different language pairs.

No description available.

No description available.

No description available.

No description available.

No description available.

No description available.

No description available.