logic synthesis
Recently Published Documents


TOTAL DOCUMENTS

987
(FIVE YEARS 106)

H-INDEX

38
(FIVE YEARS 4)

2022 ◽  
Vol 355 ◽  
pp. 03055
Author(s):  
Shan Gao ◽  
Dehua Wu ◽  
Wan’ang Xiao ◽  
Zetao Wang ◽  
Zhenghong Yang ◽  
...  

An on-chip debugging method based on the RISC-V processor is introduced, which simplifies the complicated debugging operation into instructions and improves the debugging efficiency effectively. The method adopts a JTAG interface to realize the debugging functions of the processor, such as running control, software breakpoint, hardware breakpoint and single-step execution. The method was verified by simulation at the RTL level, and the logic synthesis was carried out in SMIC 180nm process library.


Author(s):  
Gabriel Ammes ◽  
Walter Lau Neto ◽  
Paulo Butzen ◽  
Pierre-Emmanuel Gaillardon ◽  
Renato P. Ribas
Keyword(s):  

2021 ◽  
Author(s):  
Scott Temple ◽  
Walter Lau Neto ◽  
Ashton Snelgrove ◽  
Xifan Tang ◽  
Pierre-Emmanuel Gaillardon
Keyword(s):  

2021 ◽  
Author(s):  
Yasasvi V. Peruvemba ◽  
Shubham Rai ◽  
Kapil Ahuja ◽  
Akash Kumar
Keyword(s):  

2021 ◽  
Author(s):  
He-Teng Zhang ◽  
Jie-Hong R. Jiang ◽  
Alan Mishchenko
Keyword(s):  

2021 ◽  
Vol 17 (3(65)) ◽  
pp. 158-169
Author(s):  
Гузель Зуфаровна СИТДИКОВА

The qualification of a crime is an analytical process of law enforcement activity aimed at establishing and legalizing the correspondence between the factual circumstances of the analyzed act and the characteristics of the specific crime provided for in the Special Part of the Criminal Code of the Russian Federation. The qualification of a crime defines the «starting point» for activating criminal prosecution. The analytical logistics of the qualification subject undergoes successive stages formed by the qualification algorithm. The correct crime qualification using the developed algorithm justifies the correspondence between the factual circumstances of the act under analysis and the person charged with the crime. Purpose: to analyze crime qualification theory and practice, to develop an analytical logistics system and a model qualification algorithm. Methods: the author applies empirical methods of comparison, description, modeling, theoretical methods of formal and dialectical logic, synthesis, formation of scientific concepts, formulation of laws. The results of the research make it possible to determine the correlative factors influencing the qualification formula, to propose a universal crime qualification algorithm, applicable in both pre-trial and trial proceedings.


2021 ◽  
Author(s):  
Rengang Li ◽  
Tuo Li ◽  
Kai Liu ◽  
Hongtao Man ◽  
Xiaofeng Zou ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document