Specman의 목록을 파이썬처럼 축소하십시오.

Question

일반 감소 함수에 사용할 수있는 Specman에 reduce() 목록 방법이 있습니까? 내가 좋아하는 뭔가 생각 해요 :

var x: list of bit = some_function_that_returns_list_of_bit; 
var bitmap: uint = x.reduce(foo()); 

파이썬에서 같은 reduce() 작품 여기서

foo(last: uint, val: bit) is: uint { 
    return (last << 1) | bit; 
}; 

Answer 1

Specman을 6.1 문서가 감소 의사 방법을 표시하지 않습니다. 당신의 문서에서 "목록 의사 방법"을 검색하여

bitmap = pack(packing.low, x) 

당신은 Specman을 버전에서 "감소"사이비-방법을 찾을 수 있습니다 : 당신의 특정 예를 들어, 당신은 당신이 원하는 acheive 수 있습니다.

"수학 및 논리 의사 메소드"절에서는 and_all(), average(), or_all(), product() 및 sum() 메서드를 보여줍니다. 나는 이것이 메타 솔루션이 아니라 치아가 걷어차는 것보다 낫다는 것을 알고 있습니다.